Erin is big. Erin is furry. Erin is green. Erin is kind. Erin is nice. Erin is rough. Erin is white. Gary is big. Gary is furry. Gary is green. Gary is kind. Gary is nice. Gary is rough. Gary is white. All kind, rough people are white. Rough people are nice. Kind people are white. Kind people are nice. If Erin is big and Erin is nice then Erin is rough. If Gary is white and Gary is big then Gary is nice.
Gary is furry.
@0: Erin is big.[(triple1)] Erin is furry.[(triple2)] Erin is green.[(triple3)] Erin is kind.[(triple4)] Erin is nice.[(triple5 OR ((triple4) -> rule4) OR ((triple6) -> rule2))] Erin is rough.[(triple6 OR ((triple1 triple5) -> rule5) OR ((triple1 ((triple4) -> rule4)) -> rule5))] Erin is white.[(triple7 OR ((triple4) -> rule3) OR ((triple4 triple6) -> rule1) OR ((triple4 ((triple1 triple5) -> rule5)) -> rule1) OR ((triple4 ((triple1 ((triple4) -> rule4)) -> rule5)) -> rule1))] Gary is big.[(triple8)] Gary is furry.[(triple9)] Gary is green.[(triple10)] Gary is kind.[(triple11)] Gary is nice.[(triple12 OR ((triple11) -> rule4) OR ((triple13) -> rule2) OR ((triple14 triple8) -> rule6) OR ((((triple11) -> rule3) triple8) -> rule6) OR ((((triple11 triple13) -> rule1) triple8) -> rule6))] Gary is rough.[(triple13)] Gary is white.[(triple14 OR ((triple11) -> rule3) OR ((triple11 triple13) -> rule1))]