Gary is big. Gary is smart. Gary is not young. Young things are big. If something is rough then it is big. Smart things are big. Smart, rough things are not big. If Gary is round and Gary is nice then Gary is not young. If Gary is rough then Gary is smart. If Gary is young and Gary is nice then Gary is not furry. If something is round then it is young.
Gary is not young.
@0: Gary is big.[(triple1 OR ((triple2) -> rule3))] Gary is not young.[(triple3)] Gary is smart.[(triple2)]