Gary is big. Gary is green. Gary is round. If Gary is big and Gary is green then Gary is quiet. If someone is blue and big then they are not rough. If someone is round and green then they are rough. If someone is big and round then they are rough. If Gary is green and Gary is blue then Gary is red. If Gary is rough then Gary is round. Round, quiet people are not red. If Gary is round and Gary is blue then Gary is green.
Gary is big.
@0: Gary is big.[(triple1)] Gary is green.[(triple2)] Gary is round.[(triple3)] @1: Gary is quiet.[(((triple1 triple2) -> rule1))] Gary is rough.[(((triple1 triple3) -> rule4) OR ((triple3 triple2) -> rule3))] @2: Gary is not red.[(((triple3 ((triple1 triple2) -> rule1)) -> rule7))]