Gary is big. Gary is blue. Gary is green. Gary is nice. Gary is rough. Gary is smart. Gary is young. If someone is rough then they are big. If Gary is smart and Gary is rough then Gary is nice. All blue, rough people are smart.
Gary is blue.
@0: Gary is big.[(triple1 OR ((triple5) -> rule1))] Gary is blue.[(triple2)] Gary is green.[(triple3)] Gary is nice.[(triple4 OR ((triple6 triple5) -> rule2) OR ((((triple2 triple5) -> rule3) triple5) -> rule2))] Gary is rough.[(triple5)] Gary is smart.[(triple6 OR ((triple2 triple5) -> rule3))] Gary is young.[(triple7)]