Gary is big. Gary is cold. Gary is quiet. Gary is red. Gary is smart. Gary is white. Gary is young. Young, white things are smart. If something is smart then it is quiet. All red, young things are big.
Gary is big.
@0: Gary is big.[(triple1 OR ((triple4 triple7) -> rule3))] Gary is cold.[(triple2)] Gary is quiet.[(triple3 OR ((triple5) -> rule2) OR ((((triple7 triple6) -> rule1)) -> rule2))] Gary is red.[(triple4)] Gary is smart.[(triple5 OR ((triple7 triple6) -> rule1))] Gary is white.[(triple6)] Gary is young.[(triple7)]