Bob is smart. Dave is green. Gary is smart. Harry is smart. If Gary is green and Gary is white then Gary is red. White people are round. All smart people are white. Green people are smart. All round people are green. If Bob is cold and Bob is round then Bob is red.
Harry is not cold.
@0: Bob is smart.[(triple1)] Dave is green.[(triple2)] Gary is smart.[(triple3)] Harry is smart.[(triple4)] @1: Bob is white.[(((triple1) -> rule3))] Dave is smart.[(((triple2) -> rule4))] Gary is white.[(((triple3) -> rule3))] Harry is white.[(((triple4) -> rule3))] @2: Bob is round.[(((((triple1) -> rule3)) -> rule2))] Dave is white.[(((((triple2) -> rule4)) -> rule3))] Gary is round.[(((((triple3) -> rule3)) -> rule2))] Harry is round.[(((((triple4) -> rule3)) -> rule2))] @3: Bob is green.[(((((((triple1) -> rule3)) -> rule2)) -> rule5))] Dave is round.[(((((((triple2) -> rule4)) -> rule3)) -> rule2))] Gary is green.[(((((((triple3) -> rule3)) -> rule2)) -> rule5))] Harry is green.[(((((((triple4) -> rule3)) -> rule2)) -> rule5))] @4: Gary is red.[(((((((((triple3) -> rule3)) -> rule2)) -> rule5) ((triple3) -> rule3)) -> rule1))]