Charlie is cold. Charlie is rough. Charlie is smart. Gary is blue. Gary is cold. Harry is blue. Harry is cold. Harry is nice. Harry is rough. Harry is white. White, smart things are rough. If something is cold then it is nice. If something is white and cold then it is young. If Harry is smart then Harry is rough. Nice things are white. All rough, blue things are white.
Charlie is not white.
@0: Charlie is cold.[(triple1)] Charlie is rough.[(triple2 OR ((((((triple1) -> rule2)) -> rule5) triple3) -> rule1))] Charlie is smart.[(triple3)] Gary is blue.[(triple4)] Gary is cold.[(triple5)] Harry is blue.[(triple6)] Harry is cold.[(triple7)] Harry is nice.[(triple8 OR ((triple7) -> rule2))] Harry is rough.[(triple9)] Harry is white.[(triple10 OR ((triple8) -> rule5) OR ((triple9 triple6) -> rule6) OR ((((triple7) -> rule2)) -> rule5))] @1: Charlie is nice.[(((triple1) -> rule2))] Gary is nice.[(((triple5) -> rule2))] Harry is young.[(((triple10 triple7) -> rule3) OR ((((triple8) -> rule5) triple7) -> rule3) OR ((((triple9 triple6) -> rule6) triple7) -> rule3) OR ((((((triple7) -> rule2)) -> rule5) triple7) -> rule3))] @2: Charlie is white.[(((((triple1) -> rule2)) -> rule5))] Gary is white.[(((((triple5) -> rule2)) -> rule5))] @3: Charlie is young.[(((((((triple1) -> rule2)) -> rule5) triple1) -> rule3))] Gary is young.[(((((((triple5) -> rule2)) -> rule5) triple5) -> rule3))]