Anne is not cold. Anne is green. Anne is not nice. Anne is not round. Anne is young. Erin is green. Erin is round. If someone is young and nice then they are green. All round, green people are cold. If Erin is nice then Erin is rough. If someone is cold and rough then they are nice. If someone is cold then they are nice. If someone is green and not round then they are rough. Nice people are kind. If Erin is not rough then Erin is kind.
Erin is cold.
@0: Anne is green.[(triple2)] Anne is not cold.[(triple1)] Anne is not nice.[(triple3)] Anne is not round.[(triple4)] Anne is young.[(triple5)] Erin is green.[(triple6)] Erin is round.[(triple7)] @1: Anne is rough.[(((triple2 triple4) -> rule6))] Erin is cold.[(((triple7 triple6) -> rule2))] @2: Erin is nice.[(((((triple7 triple6) -> rule2)) -> rule5))] @3: Erin is kind.[(((((((triple7 triple6) -> rule2)) -> rule5)) -> rule7))] Erin is rough.[(((((((triple7 triple6) -> rule2)) -> rule5)) -> rule3))]