public MainForm() { InitializeComponent(); Icon = TruthTree2.Properties.Resources.Icon; WFF inn = new Negation(new Predicate("A")); WFF tmp1 = new Negation(inn); WFF tmp2 = inn.GetNegation(); Console.WriteLine("{0}\t{1}", tmp1, tmp2); }