Bob is blue. Bob is green. Bob is red. Charlie is big. Charlie is blue. Charlie is green. Charlie is rough. Charlie is white. Harry is blue. Harry is rough. All blue, rough things are big. All blue things are cold. If Bob is rough and Bob is white then Bob is cold. If something is blue then it is rough. White, green things are blue. All blue, cold things are big.
Harry is rough.
@0: Bob is blue.[(triple1)] Bob is green.[(triple2)] Bob is red.[(triple3)] Charlie is big.[(triple4 OR ((triple5 triple7) -> rule1) OR ((triple5 ((triple5) -> rule2)) -> rule6) OR ((triple5 ((triple5) -> rule4)) -> rule1) OR ((((triple8 triple6) -> rule5) triple7) -> rule1) OR ((((triple8 triple6) -> rule5) ((triple5) -> rule2)) -> rule6) OR ((((triple8 triple6) -> rule5) ((triple5) -> rule4)) -> rule1) OR ((triple5 ((((triple8 triple6) -> rule5)) -> rule2)) -> rule6) OR ((triple5 ((((triple8 triple6) -> rule5)) -> rule4)) -> rule1) OR ((((triple8 triple6) -> rule5) ((((triple8 triple6) -> rule5)) -> rule2)) -> rule6) OR ((((triple8 triple6) -> rule5) ((((triple8 triple6) -> rule5)) -> rule4)) -> rule1))] Charlie is blue.[(triple5 OR ((triple8 triple6) -> rule5))] Charlie is green.[(triple6)] Charlie is rough.[(triple7 OR ((triple5) -> rule4) OR ((((triple8 triple6) -> rule5)) -> rule4))] Charlie is white.[(triple8)] Harry is blue.[(triple9)] Harry is rough.[(triple10 OR ((triple9) -> rule4))] @1: Bob is cold.[(((triple1) -> rule2))] Bob is rough.[(((triple1) -> rule4))] Charlie is cold.[(((triple5) -> rule2) OR ((((triple8 triple6) -> rule5)) -> rule2))] Harry is big.[(((triple9 triple10) -> rule1) OR ((triple9 ((triple9) -> rule2)) -> rule6) OR ((triple9 ((triple9) -> rule4)) -> rule1))] Harry is cold.[(((triple9) -> rule2))] @2: Bob is big.[(((triple1 ((triple1) -> rule2)) -> rule6) OR ((triple1 ((triple1) -> rule4)) -> rule1))]