Anne is young. Charlie is blue. Charlie is round. If Anne is round and Anne is red then Anne is blue. If someone is smart and red then they are round. Round people are young. All blue people are white. If Charlie is blue and Charlie is white then Charlie is smart. Smart people are red.
Charlie is smart.
@0: Anne is young.[(triple1)] Charlie is blue.[(triple2)] Charlie is round.[(triple3 OR ((((triple2 ((triple2) -> rule4)) -> rule5) ((((triple2 ((triple2) -> rule4)) -> rule5)) -> rule6)) -> rule2))] @1: Charlie is white.[(((triple2) -> rule4))] Charlie is young.[(((triple3) -> rule3) OR ((((((triple2 ((triple2) -> rule4)) -> rule5) ((((triple2 ((triple2) -> rule4)) -> rule5)) -> rule6)) -> rule2)) -> rule3))] @2: Charlie is smart.[(((triple2 ((triple2) -> rule4)) -> rule5))] @3: Charlie is red.[(((((triple2 ((triple2) -> rule4)) -> rule5)) -> rule6))]