Gary is not big. Gary is cold. Gary is furry. Gary is not nice. Gary is quiet. Gary is round. Gary is young. If Gary is round then Gary is cold. All nice things are not quiet. All furry things are not big. If Gary is quiet then Gary is not nice. If something is big then it is not round. Nice things are round.
Gary is round.
@0: Gary is cold.[(triple2 OR ((triple6) -> rule1))] Gary is furry.[(triple3)] Gary is not big.[(triple1 OR ((triple3) -> rule3))] Gary is not nice.[(triple4 OR ((triple5) -> rule4))] Gary is quiet.[(triple5)] Gary is round.[(triple6)] Gary is young.[(triple7)]