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