Erin is green. Erin is nice. Erin is young. Gary is cold. Gary is green. Gary is kind. Gary is nice. Gary is rough. Gary is round. Gary is young. All nice, young people are round. Cold people are green. If someone is nice and round then they are young. Rough, kind people are cold. If someone is nice and kind then they are young. All round, nice people are kind.
Erin is not cold.
@0: Erin is green.[(triple1)] Erin is nice.[(triple2)] Erin is young.[(triple3)] Gary is cold.[(triple4 OR ((triple8 triple6) -> rule4) OR ((triple8 ((triple9 triple7) -> rule6)) -> rule4) OR ((triple8 ((((triple7 triple10) -> rule1) triple7) -> rule6)) -> rule4))] Gary is green.[(triple5 OR ((triple4) -> rule2) OR ((((triple8 triple6) -> rule4)) -> rule2) OR ((((triple8 ((triple9 triple7) -> rule6)) -> rule4)) -> rule2) OR ((((triple8 ((((triple7 triple10) -> rule1) triple7) -> rule6)) -> rule4)) -> rule2))] Gary is kind.[(triple6 OR ((triple9 triple7) -> rule6) OR ((((triple7 triple10) -> rule1) triple7) -> rule6))] Gary is nice.[(triple7)] Gary is rough.[(triple8)] Gary is round.[(triple9 OR ((triple7 triple10) -> rule1) OR ((triple7 ((triple7 triple6) -> rule5)) -> rule1))] Gary is young.[(triple10 OR ((triple7 triple6) -> rule5) OR ((triple7 triple9) -> rule3) OR ((triple7 ((triple9 triple7) -> rule6)) -> rule5))] @1: Erin is round.[(((triple2 triple3) -> rule1))] @2: Erin is kind.[(((((triple2 triple3) -> rule1) triple2) -> rule6))]