Anne is green. Anne is not round. Anne is smart. Anne is young. Charlie is big. Charlie is white. Harry is big. Harry is green. Harry is red. Harry is round. If Harry is not white then Harry is red. If something is big and not smart then it is not young. If something is big then it is young. If Anne is round then Anne is young. All young, smart things are green. If Anne is white and Anne is not round then Anne is not big. If something is white and not young then it is red. If something is young and not smart then it is not red.
Charlie is not young.
@0: Anne is green.[(triple1 OR ((triple4 triple3) -> rule5))] Anne is not round.[(triple2)] Anne is smart.[(triple3)] Anne is young.[(triple4)] Charlie is big.[(triple5)] Charlie is white.[(triple6)] Harry is big.[(triple7)] Harry is green.[(triple8)] Harry is red.[(triple9)] Harry is round.[(triple10)] @1: Charlie is young.[(((triple5) -> rule3))] Harry is young.[(((triple7) -> rule3))]