Anne is red. Dave is blue. Dave is green. Dave is red. Dave is young. Harry is red. Harry is smart. All big things are young. If something is young then it is big. If Harry is red and Harry is blue then Harry is young. All blue, smart things are young. Young, green things are blue. All green things are smart. Smart things are kind. If something is smart and young then it is green.
Dave is not red.
@0: Anne is red.[(triple1)] Dave is blue.[(triple2 OR ((triple5 triple3) -> rule5))] Dave is green.[(triple3)] Dave is red.[(triple4)] Dave is young.[(triple5 OR ((triple2 ((triple3) -> rule6)) -> rule4))] Harry is red.[(triple6)] Harry is smart.[(triple7)] @1: Dave is big.[(((triple5) -> rule2) OR ((((triple2 ((triple3) -> rule6)) -> rule4)) -> rule2))] Dave is smart.[(((triple3) -> rule6))] Harry is kind.[(((triple7) -> rule7))] @2: Dave is kind.[(((((triple3) -> rule6)) -> rule7))]