Gary is big. Gary is kind. Gary is nice. Gary is red. Gary is smart. Gary is white. Gary is young. All nice things are young. Big things are red. If Gary is smart and Gary is young then Gary is kind. If something is smart then it is young. If something is nice and big then it is white. All nice things are big.
Gary is nice.
@0: Gary is big.[(triple1 OR ((triple3) -> rule6))] Gary is kind.[(triple2 OR ((triple5 triple7) -> rule3) OR ((triple5 ((triple3) -> rule1)) -> rule3) OR ((triple5 ((triple5) -> rule4)) -> rule3))] Gary is nice.[(triple3)] Gary is red.[(triple4 OR ((triple1) -> rule2) OR ((((triple3) -> rule6)) -> rule2))] Gary is smart.[(triple5)] Gary is white.[(triple6 OR ((triple3 triple1) -> rule5) OR ((triple3 ((triple3) -> rule6)) -> rule5))] Gary is young.[(triple7 OR ((triple3) -> rule1) OR ((triple5) -> rule4))]