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