Anne is big. Anne is cold. Anne is green. Anne is rough. Anne is round. Anne is smart. Anne is young. Erin is big. Erin is cold. Erin is green. Erin is rough. Erin is round. Erin is smart. Erin is young. All round, smart things are cold. If something is cold and big then it is rough. Rough, big things are green.
Anne is not round.
@0: Anne is big.[(triple1)] Anne is cold.[(triple2 OR ((triple5 triple6) -> rule1))] Anne is green.[(triple3 OR ((triple4 triple1) -> rule3) OR ((((triple2 triple1) -> rule2) triple1) -> rule3) OR ((((((triple5 triple6) -> rule1) triple1) -> rule2) triple1) -> rule3))] Anne is rough.[(triple4 OR ((triple2 triple1) -> rule2) OR ((((triple5 triple6) -> rule1) triple1) -> rule2))] Anne is round.[(triple5)] Anne is smart.[(triple6)] Anne is young.[(triple7)] Erin is big.[(triple8)] Erin is cold.[(triple9 OR ((triple12 triple13) -> rule1))] Erin is green.[(triple10 OR ((triple11 triple8) -> rule3) OR ((((triple9 triple8) -> rule2) triple8) -> rule3) OR ((((((triple12 triple13) -> rule1) triple8) -> rule2) triple8) -> rule3))] Erin is rough.[(triple11 OR ((triple9 triple8) -> rule2) OR ((((triple12 triple13) -> rule1) triple8) -> rule2))] Erin is round.[(triple12)] Erin is smart.[(triple13)] Erin is young.[(triple14)]