Charlie is not cold. Charlie is furry. Charlie is kind. Charlie is rough. Charlie is not white. Gary is cold. Gary is furry. Gary is nice. Gary is rough. Gary is white. Nice things are white. If something is white then it is furry. If Charlie is rough and Charlie is not white then Charlie is blue.
Charlie is not cold.
@0: Charlie is furry.[(triple2)] Charlie is kind.[(triple3)] Charlie is not cold.[(triple1)] Charlie is not white.[(triple5)] Charlie is rough.[(triple4)] Gary is cold.[(triple6)] Gary is furry.[(triple7 OR ((triple10) -> rule2) OR ((((triple8) -> rule1)) -> rule2))] Gary is nice.[(triple8)] Gary is rough.[(triple9)] Gary is white.[(triple10 OR ((triple8) -> rule1))] @1: Charlie is blue.[(((triple4 triple5) -> rule3))]