Anne is big. Charlie is round. Dave is big. Harry is green. Cold, big people are blue. Green, young people are blue. If someone is round then they are green. Cold people are kind. If someone is big and cold then they are kind. If someone is round and green then they are young. If someone is green and big then they are blue. If Dave is cold and Dave is big then Dave is round.
Harry is not green.
@0: Anne is big.[(triple1)] Charlie is round.[(triple2)] Dave is big.[(triple3)] Harry is green.[(triple4)] @1: Charlie is green.[(((triple2) -> rule3))] @2: Charlie is young.[(((triple2 ((triple2) -> rule3)) -> rule6))] @3: Charlie is blue.[(((((triple2) -> rule3) ((triple2 ((triple2) -> rule3)) -> rule6)) -> rule2))]