Gary is big. Gary is cold. Gary is quiet. Gary is not rough. Gary is smart. Gary is white. Gary is young. If Gary is quiet then Gary is not rough. If Gary is cold and Gary is quiet then Gary is smart. If someone is white and not rough then they are cold. If someone is rough and not cold then they are young. If someone is young then they are smart. Cold people are smart. All cold people are smart. If Gary is smart and Gary is not quiet then Gary is not big.
Gary is not young.
@0: Gary is big.[(triple1)] Gary is cold.[(triple2 OR ((triple6 triple4) -> rule3) OR ((triple6 ((triple3) -> rule1)) -> rule3))] Gary is not rough.[(triple4 OR ((triple3) -> rule1))] Gary is quiet.[(triple3)] Gary is smart.[(triple5 OR ((triple2) -> rule6) OR ((triple2) -> rule7) OR ((triple7) -> rule5) OR ((triple2 triple3) -> rule2) OR ((((triple6 triple4) -> rule3)) -> rule6) OR ((((triple6 triple4) -> rule3)) -> rule7) OR ((((triple6 triple4) -> rule3) triple3) -> rule2) OR ((((triple6 ((triple3) -> rule1)) -> rule3)) -> rule6) OR ((((triple6 ((triple3) -> rule1)) -> rule3)) -> rule7) OR ((((triple6 ((triple3) -> rule1)) -> rule3) triple3) -> rule2))] Gary is white.[(triple6)] Gary is young.[(triple7)]