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