Bob is cold. Dave is cold. Gary is cold. Gary is smart. Harry is furry. Harry is green. Harry is smart. Furry people are red. All kind people are cold. If Dave is smart then Dave is red. Nice people are smart. If someone is cold then they are red. If someone is furry then they are smart.
Gary is smart.
@0: Bob is cold.[(triple1)] Dave is cold.[(triple2)] Gary is cold.[(triple3)] Gary is smart.[(triple4)] Harry is furry.[(triple5)] Harry is green.[(triple6)] Harry is smart.[(triple7 OR ((triple5) -> rule6))] @1: Bob is red.[(((triple1) -> rule5))] Dave is red.[(((triple2) -> rule5))] Gary is red.[(((triple3) -> rule5))] Harry is red.[(((triple5) -> rule1))]