Gary is not red. Gary is rough. Gary is white. If something is white and not rough then it is not red. If something is nice and not rough then it is red. If something is smart then it is not red. If Gary is nice and Gary is not white then Gary is cold. White things are quiet. Rough, smart things are quiet. All white things are quiet. If Gary is rough and Gary is white then Gary is smart.
Gary is rough.
@0: Gary is not red.[(triple1 OR ((((triple2 triple3) -> rule8)) -> rule3))] Gary is rough.[(triple2)] Gary is white.[(triple3)] @1: Gary is quiet.[(((triple3) -> rule5) OR ((triple3) -> rule7) OR ((triple2 ((triple2 triple3) -> rule8)) -> rule6))] Gary is smart.[(((triple2 triple3) -> rule8))]