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