Bob is blue. Bob is cold. Bob is furry. Bob is green. Bob is red. Bob is white. Fiona is blue. Fiona is green. Fiona is round. Gary is cold. Gary is round. Gary is white. Harry is cold. Harry is green. Harry is red. Harry is white. All blue, red things are green. If something is red and cold then it is blue. White things are red.
Bob is round.
@0: Bob is blue.[(triple1 OR ((triple5 triple2) -> rule2) OR ((((triple6) -> rule3) triple2) -> rule2))] Bob is cold.[(triple2)] Bob is furry.[(triple3)] Bob is green.[(triple4 OR ((triple1 triple5) -> rule1) OR ((triple1 ((triple6) -> rule3)) -> rule1) OR ((((triple5 triple2) -> rule2) triple5) -> rule1) OR ((((triple5 triple2) -> rule2) ((triple6) -> rule3)) -> rule1) OR ((((((triple6) -> rule3) triple2) -> rule2) triple5) -> rule1) OR ((((((triple6) -> rule3) triple2) -> rule2) ((triple6) -> rule3)) -> rule1))] Bob is red.[(triple5 OR ((triple6) -> rule3))] Bob is white.[(triple6)] Fiona is blue.[(triple7)] Fiona is green.[(triple8)] Fiona is round.[(triple9)] Gary is cold.[(triple10)] Gary is round.[(triple11)] Gary is white.[(triple12)] Harry is cold.[(triple13)] Harry is green.[(triple14 OR ((((triple15 triple13) -> rule2) triple15) -> rule1) OR ((((triple15 triple13) -> rule2) ((triple16) -> rule3)) -> rule1) OR ((((((triple16) -> rule3) triple13) -> rule2) triple15) -> rule1) OR ((((((triple16) -> rule3) triple13) -> rule2) ((triple16) -> rule3)) -> rule1))] Harry is red.[(triple15 OR ((triple16) -> rule3))] Harry is white.[(triple16)] @1: Gary is red.[(((triple12) -> rule3))] Harry is blue.[(((triple15 triple13) -> rule2) OR ((((triple16) -> rule3) triple13) -> rule2))] @2: Gary is blue.[(((((triple12) -> rule3) triple10) -> rule2))] @3: Gary is green.[(((((((triple12) -> rule3) triple10) -> rule2) ((triple12) -> rule3)) -> rule1))]