Gary is kind. Gary is rough. Gary is white. Young people are furry. All young, round people are white. If someone is kind and white then they are round. Nice people are young. All rough, round people are nice. If Gary is furry and Gary is kind then Gary is round. If someone is white and kind then they are nice. All kind, white people are nice.
Gary is furry.
@0: Gary is kind.[(triple1)] Gary is rough.[(triple2)] Gary is white.[(triple3)] @1: Gary is nice.[(((triple1 triple3) -> rule8) OR ((triple3 triple1) -> rule7) OR ((triple2 ((triple1 triple3) -> rule3)) -> rule5))] Gary is round.[(((triple1 triple3) -> rule3) OR ((((((((triple1 triple3) -> rule8)) -> rule4)) -> rule1) triple1) -> rule6) OR ((((((((triple3 triple1) -> rule7)) -> rule4)) -> rule1) triple1) -> rule6))] @2: Gary is young.[(((((triple1 triple3) -> rule8)) -> rule4) OR ((((triple3 triple1) -> rule7)) -> rule4) OR ((((triple2 ((triple1 triple3) -> rule3)) -> rule5)) -> rule4))] @3: Gary is furry.[(((((((triple1 triple3) -> rule8)) -> rule4)) -> rule1) OR ((((((triple3 triple1) -> rule7)) -> rule4)) -> rule1) OR ((((((triple2 ((triple1 triple3) -> rule3)) -> rule5)) -> rule4)) -> rule1))]