Anne is green. Anne is kind. Anne is nice. Anne is round. Anne is smart. Fiona is furry. Fiona is green. Fiona is kind. Fiona is nice. Fiona is round. Fiona is smart. Fiona is young. All kind people are smart. All nice, kind people are young. Young, kind people are green.
Anne is not nice.
@0: Anne is green.[(triple1 OR ((((triple3 triple2) -> rule2) triple2) -> rule3))] Anne is kind.[(triple2)] Anne is nice.[(triple3)] Anne is round.[(triple4)] Anne is smart.[(triple5 OR ((triple2) -> rule1))] Fiona is furry.[(triple6)] Fiona is green.[(triple7 OR ((triple12 triple8) -> rule3) OR ((((triple9 triple8) -> rule2) triple8) -> rule3))] Fiona is kind.[(triple8)] Fiona is nice.[(triple9)] Fiona is round.[(triple10)] Fiona is smart.[(triple11 OR ((triple8) -> rule1))] Fiona is young.[(triple12 OR ((triple9 triple8) -> rule2))] @1: Anne is young.[(((triple3 triple2) -> rule2))]