Dave is green. Dave is quiet. Dave is not smart. Harry is big. Harry is cold. Harry is green. Harry is red. If something is cold then it is big. All green things are red. Green, cold things are red. If Harry is smart then Harry is green. If Dave is cold and Dave is furry then Dave is smart. If something is big and not green then it is furry.
Harry is smart.
@0: Dave is green.[(triple1)] Dave is not smart.[(triple3)] Dave is quiet.[(triple2)] Harry is big.[(triple4 OR ((triple5) -> rule1))] Harry is cold.[(triple5)] Harry is green.[(triple6)] Harry is red.[(triple7 OR ((triple6) -> rule2) OR ((triple6 triple5) -> rule3))] @1: Dave is red.[(((triple1) -> rule2))]