Dave is smart. Fiona is smart. Harry is big. Blue, smart people are nice. If someone is furry and smart then they are cold. If someone is big then they are smart. If someone is cold then they are green. All smart people are cold. If Harry is nice and Harry is furry then Harry is big. If someone is furry and nice then they are smart. If Dave is blue then Dave is smart.
Harry is not nice.
@0: Dave is smart.[(triple1)] Fiona is smart.[(triple2)] Harry is big.[(triple3)] @1: Dave is cold.[(((triple1) -> rule5))] Fiona is cold.[(((triple2) -> rule5))] Harry is smart.[(((triple3) -> rule3))] @2: Dave is green.[(((((triple1) -> rule5)) -> rule4))] Fiona is green.[(((((triple2) -> rule5)) -> rule4))] Harry is cold.[(((((triple3) -> rule3)) -> rule5))] @3: Harry is green.[(((((((triple3) -> rule3)) -> rule5)) -> rule4))]