Bob is cold. Bob is white. Dave is big. Dave is cold. Harry is cold. Harry is red. Harry is round. All white, round things are blue. If something is big then it is green. If something is blue then it is round. White things are blue. If something is cold and green then it is blue. If something is green then it is blue.
Bob is not big.
@0: Bob is cold.[(triple1)] Bob is white.[(triple2)] Dave is big.[(triple3)] Dave is cold.[(triple4)] Harry is cold.[(triple5)] Harry is red.[(triple6)] Harry is round.[(triple7)] @1: Bob is blue.[(((triple2) -> rule4))] Dave is green.[(((triple3) -> rule2))] @2: Bob is round.[(((((triple2) -> rule4)) -> rule3))] Dave is blue.[(((((triple3) -> rule2)) -> rule6) OR ((triple4 ((triple3) -> rule2)) -> rule5))] @3: Dave is round.[(((((((triple3) -> rule2)) -> rule6)) -> rule3) OR ((((triple4 ((triple3) -> rule2)) -> rule5)) -> rule3))]