Gary is big. Gary is blue. Gary is not furry. Gary is nice. Gary is quiet. Gary is smart. Gary is white. If something is white and not furry then it is nice. All nice things are big. If something is furry then it is big. If something is furry and not smart then it is not white. If something is big then it is white. If Gary is furry and Gary is big then Gary is white.
Gary is nice.
@0: Gary is big.[(triple1 OR ((triple4) -> rule2) OR ((((triple7 triple3) -> rule1)) -> rule2))] Gary is blue.[(triple2)] Gary is nice.[(triple4 OR ((triple7 triple3) -> rule1) OR ((((triple1) -> rule5) triple3) -> rule1))] Gary is not furry.[(triple3)] Gary is quiet.[(triple5)] Gary is smart.[(triple6)] Gary is white.[(triple7 OR ((triple1) -> rule5) OR ((((triple4) -> rule2)) -> rule5))]