Gary is big. Gary is nice. Gary is red. Gary is rough. Gary is round. Gary is smart. Gary is white. If Gary is big then Gary is round. If Gary is nice then Gary is big. If Gary is rough then Gary is big.
Gary is not big.
@0: Gary is big.[(triple1 OR ((triple2) -> rule2) OR ((triple4) -> rule3))] Gary is nice.[(triple2)] Gary is red.[(triple3)] Gary is rough.[(triple4)] Gary is round.[(triple5 OR ((triple1) -> rule1) OR ((((triple2) -> rule2)) -> rule1) OR ((((triple4) -> rule3)) -> rule1))] Gary is smart.[(triple6)] Gary is white.[(triple7)]