Charlie is blue. Charlie is cold. Charlie is furry. Charlie is not nice. Gary is blue. Gary is not rough. Gary is not white. If Charlie is cold then Charlie is white. If something is cold and white then it is not smart. If something is cold and not smart then it is rough.
Charlie is rough.
@0: Charlie is blue.[(triple1)] Charlie is cold.[(triple2)] Charlie is furry.[(triple3)] Charlie is not nice.[(triple4)] Gary is blue.[(triple5)] Gary is not rough.[(triple6)] Gary is not white.[(triple7)] @1: Charlie is white.[(((triple2) -> rule1))] @2: Charlie is not smart.[(((triple2 ((triple2) -> rule1)) -> rule2))] @3: Charlie is rough.[(((triple2 ((triple2 ((triple2) -> rule1)) -> rule2)) -> rule3))]