Charlie is green. Charlie is quiet. Charlie is rough. Charlie is round. Gary is big. Gary is cold. Gary is red. If something is cold and red then it is rough. If something is cold then it is green. If something is big and red then it is rough. Green, round things are quiet. If something is quiet then it is round. All red things are big.
Gary is not red.
@0: Charlie is green.[(triple1)] Charlie is quiet.[(triple2 OR ((triple1 triple4) -> rule4))] Charlie is rough.[(triple3)] Charlie is round.[(triple4 OR ((triple2) -> rule5))] Gary is big.[(triple5 OR ((triple7) -> rule6))] Gary is cold.[(triple6)] Gary is red.[(triple7)] @1: Gary is green.[(((triple6) -> rule2))] Gary is rough.[(((triple5 triple7) -> rule3) OR ((triple6 triple7) -> rule1) OR ((((triple7) -> rule6) triple7) -> rule3))]