Bob is blue. Bob is cold. Bob is red. Bob is round. Bob is white. Dave is cold. Dave is furry. Dave is red. Dave is round. Dave is white. If something is cold and furry then it is green. All cold, white things are furry. Green, blue things are red.
Bob is not green.
@0: Bob is blue.[(triple1)] Bob is cold.[(triple2)] Bob is red.[(triple3 OR ((((triple2 ((triple2 triple5) -> rule2)) -> rule1) triple1) -> rule3))] Bob is round.[(triple4)] Bob is white.[(triple5)] Dave is cold.[(triple6)] Dave is furry.[(triple7 OR ((triple6 triple10) -> rule2))] Dave is red.[(triple8)] Dave is round.[(triple9)] Dave is white.[(triple10)] @1: Bob is furry.[(((triple2 triple5) -> rule2))] Dave is green.[(((triple6 triple7) -> rule1) OR ((triple6 ((triple6 triple10) -> rule2)) -> rule1))] @2: Bob is green.[(((triple2 ((triple2 triple5) -> rule2)) -> rule1))]