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