Anne is cold. Anne is green. Anne is kind. Anne is nice. Anne is rough. Anne is round. Anne is young. Erin is cold. Erin is green. Erin is kind. Erin is nice. Erin is rough. Erin is round. Erin is young. All young people are round. If someone is green and kind then they are round. Round, young people are rough. Kind people are cold. All young people are rough. If someone is kind and green then they are cold.
Erin is not young.
@0: Anne is cold.[(triple1 OR ((triple3) -> rule4) OR ((triple3 triple2) -> rule6))] Anne is green.[(triple2)] Anne is kind.[(triple3)] Anne is nice.[(triple4)] Anne is rough.[(triple5 OR ((triple7) -> rule5) OR ((triple6 triple7) -> rule3) OR ((((triple7) -> rule1) triple7) -> rule3) OR ((((triple2 triple3) -> rule2) triple7) -> rule3))] Anne is round.[(triple6 OR ((triple7) -> rule1) OR ((triple2 triple3) -> rule2))] Anne is young.[(triple7)] Erin is cold.[(triple8 OR ((triple10) -> rule4) OR ((triple10 triple9) -> rule6))] Erin is green.[(triple9)] Erin is kind.[(triple10)] Erin is nice.[(triple11)] Erin is rough.[(triple12 OR ((triple14) -> rule5) OR ((triple13 triple14) -> rule3) OR ((((triple14) -> rule1) triple14) -> rule3) OR ((((triple9 triple10) -> rule2) triple14) -> rule3))] Erin is round.[(triple13 OR ((triple14) -> rule1) OR ((triple9 triple10) -> rule2))] Erin is young.[(triple14)]