Gary is furry. Gary is nice. Gary is quiet. Gary is round. Gary is smart. Gary is white. Gary is young. Round, quiet things are white. If something is furry then it is nice. If something is round and nice then it is quiet. Quiet things are nice. If Gary is furry and Gary is nice then Gary is quiet. If Gary is round then Gary is quiet. Smart things are young. If Gary is white then Gary is round.
Gary is nice.
@0: Gary is furry.[(triple1)] Gary is nice.[(triple2 OR ((triple1) -> rule2) OR ((triple3) -> rule4) OR ((((triple4) -> rule6)) -> rule4) OR ((((((triple6) -> rule8)) -> rule6)) -> rule4))] Gary is quiet.[(triple3 OR ((triple4) -> rule6) OR ((triple1 triple2) -> rule5) OR ((triple4 triple2) -> rule3) OR ((((triple6) -> rule8)) -> rule6) OR ((triple1 ((triple1) -> rule2)) -> rule5) OR ((triple4 ((triple1) -> rule2)) -> rule3) OR ((((triple6) -> rule8) triple2) -> rule3) OR ((((triple6) -> rule8) ((triple1) -> rule2)) -> rule3))] Gary is round.[(triple4 OR ((triple6) -> rule8))] Gary is smart.[(triple5)] Gary is white.[(triple6 OR ((triple4 triple3) -> rule1) OR ((triple4 ((triple4) -> rule6)) -> rule1) OR ((triple4 ((triple1 triple2) -> rule5)) -> rule1) OR ((triple4 ((triple4 triple2) -> rule3)) -> rule1) OR ((triple4 ((triple1 ((triple1) -> rule2)) -> rule5)) -> rule1) OR ((triple4 ((triple4 ((triple1) -> rule2)) -> rule3)) -> rule1))] Gary is young.[(triple7 OR ((triple5) -> rule7))]