Gary is big. Gary is blue. Gary is furry. Gary is red. Gary is smart. Gary is not white. Gary is young. If something is blue then it is big. If something is young and big then it is blue. White things are smart. If something is big and not young then it is smart. If something is white and not young then it is red. If something is big and young then it is furry. If something is young and not smart then it is furry. Big, white things are furry.
Gary is not young.
@0: Gary is big.[(triple1 OR ((triple2) -> rule1))] Gary is blue.[(triple2 OR ((triple7 triple1) -> rule2))] Gary is furry.[(triple3 OR ((triple1 triple7) -> rule6) OR ((((triple2) -> rule1) triple7) -> rule6))] Gary is not white.[(triple6)] Gary is red.[(triple4)] Gary is smart.[(triple5)] Gary is young.[(triple7)]