Erin is furry. Erin is red. Erin is round. Erin is smart. Erin is white. Erin is young. Gary is furry. Gary is nice. Gary is red. Gary is round. Gary is white. Gary is young. All smart, nice people are red. If Erin is nice then Erin is white. If someone is red and white then they are nice. Nice people are red. All nice people are round. If someone is white then they are furry. If someone is smart then they are white. All smart, round people are furry.
Gary is round.
@0: Erin is furry.[(triple1 OR ((triple5) -> rule6) OR ((triple4 triple3) -> rule8) OR ((((triple4) -> rule7)) -> rule6) OR ((triple4 ((((triple2 triple5) -> rule3)) -> rule5)) -> rule8) OR ((triple4 ((((triple2 ((triple4) -> rule7)) -> rule3)) -> rule5)) -> rule8))] Erin is red.[(triple2)] Erin is round.[(triple3 OR ((((triple2 triple5) -> rule3)) -> rule5) OR ((((triple2 ((triple4) -> rule7)) -> rule3)) -> rule5))] Erin is smart.[(triple4)] Erin is white.[(triple5 OR ((triple4) -> rule7))] Erin is young.[(triple6)] Gary is furry.[(triple7 OR ((triple11) -> rule6))] Gary is nice.[(triple8 OR ((triple9 triple11) -> rule3))] Gary is red.[(triple9 OR ((triple8) -> rule4))] Gary is round.[(triple10 OR ((triple8) -> rule5) OR ((((triple9 triple11) -> rule3)) -> rule5))] Gary is white.[(triple11)] Gary is young.[(triple12)] @1: Erin is nice.[(((triple2 triple5) -> rule3) OR ((triple2 ((triple4) -> rule7)) -> rule3))]