Bob is smart. Dave is furry. Gary is green. Blue things are not smart. Furry things are smart. Blue things are smart. All smart things are green. If Gary is blue and Gary is smart then Gary is green. Green things are red. Blue, cold things are not red. If something is kind and not smart then it is cold.
Bob is not green.
@0: Bob is smart.[(triple1)] Dave is furry.[(triple2)] Gary is green.[(triple3)] @1: Bob is green.[(((triple1) -> rule4))] Dave is smart.[(((triple2) -> rule2))] Gary is red.[(((triple3) -> rule6))] @2: Bob is red.[(((((triple1) -> rule4)) -> rule6))] Dave is green.[(((((triple2) -> rule2)) -> rule4))] @3: Dave is red.[(((((((triple2) -> rule2)) -> rule4)) -> rule6))]