Charlie is not big. Charlie is not cold. Charlie is young. Gary is not blue. Gary is not cold. Gary is green. Gary is kind. Gary is white. Harry is blue. Harry is young. If Charlie is big then Charlie is blue. If something is blue then it is big. If something is big then it is cold. If something is young and not cold then it is not green. If something is young and not cold then it is not white. If something is cold then it is white.
Harry is kind.
@0: Charlie is not big.[(triple1)] Charlie is not cold.[(triple2)] Charlie is young.[(triple3)] Gary is green.[(triple6)] Gary is kind.[(triple7)] Gary is not blue.[(triple4)] Gary is not cold.[(triple5)] Gary is white.[(triple8)] Harry is blue.[(triple9)] Harry is young.[(triple10)] @1: Charlie is not green.[(((triple3 triple2) -> rule4))] Charlie is not white.[(((triple3 triple2) -> rule5))] Harry is big.[(((triple9) -> rule2))] @2: Harry is cold.[(((((triple9) -> rule2)) -> rule3))] @3: Harry is white.[(((((((triple9) -> rule2)) -> rule3)) -> rule6))]