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