Erin is big. Erin is nice. Erin is round. Erin is young. Gary is kind. Gary is nice. Gary is round. If Erin is young and Erin is white then Erin is round. If Gary is nice then Gary is round. If Gary is round and Gary is white then Gary is young. Round, kind people are white. If Erin is smart then Erin is nice. If Gary is young then Gary is kind. Big, round people are young. Kind people are young.
Erin is round.
@0: Erin is big.[(triple1)] Erin is nice.[(triple2)] Erin is round.[(triple3)] Erin is young.[(triple4 OR ((triple1 triple3) -> rule7))] Gary is kind.[(triple5)] Gary is nice.[(triple6)] Gary is round.[(triple7 OR ((triple6) -> rule2))] @1: Gary is white.[(((triple7 triple5) -> rule4) OR ((((triple6) -> rule2) triple5) -> rule4))] Gary is young.[(((triple5) -> rule8) OR ((triple7 ((triple7 triple5) -> rule4)) -> rule3) OR ((((triple6) -> rule2) ((triple7 triple5) -> rule4)) -> rule3) OR ((triple7 ((((triple6) -> rule2) triple5) -> rule4)) -> rule3) OR ((((triple6) -> rule2) ((((triple6) -> rule2) triple5) -> rule4)) -> rule3))]