Dave is blue. Dave is cold. Dave is not furry. Dave is green. Dave is not nice. Dave is smart. Dave is white. Harry is cold. Harry is furry. Harry is green. Harry is nice. Harry is smart. If something is blue and nice then it is green. Nice things are blue.
Dave is smart.
@0: Dave is blue.[(triple1)] Dave is cold.[(triple2)] Dave is green.[(triple4)] Dave is not furry.[(triple3)] Dave is not nice.[(triple5)] Dave is smart.[(triple6)] Dave is white.[(triple7)] Harry is cold.[(triple8)] Harry is furry.[(triple9)] Harry is green.[(triple10 OR ((((triple11) -> rule2) triple11) -> rule1))] Harry is nice.[(triple11)] Harry is smart.[(triple12)] @1: Harry is blue.[(((triple11) -> rule2))]