Gary is furry. Gary is kind. Gary is quiet. Gary is red. Gary is round. Gary is white. Gary is young. If someone is kind and white then they are furry. All white people are round. Young, white people are red. Young, red people are quiet. Quiet people are young. Round, kind people are furry.
Gary is not young.
@0: Gary is furry.[(triple1 OR ((triple2 triple6) -> rule1) OR ((triple5 triple2) -> rule6) OR ((((triple6) -> rule2) triple2) -> rule6))] Gary is kind.[(triple2)] Gary is quiet.[(triple3 OR ((triple7 triple4) -> rule4) OR ((triple7 ((triple7 triple6) -> rule3)) -> rule4))] Gary is red.[(triple4 OR ((triple7 triple6) -> rule3) OR ((((triple3) -> rule5) triple6) -> rule3))] Gary is round.[(triple5 OR ((triple6) -> rule2))] Gary is white.[(triple6)] Gary is young.[(triple7 OR ((triple3) -> rule5))]