Anne is cold. Anne is furry. Anne is smart. Anne is young. Fiona is blue. Fiona is cold. Fiona is nice. Fiona is rough. Fiona is smart. Fiona is young. Blue people are smart. Furry, cold people are nice. Nice people are smart.
Fiona is nice.
@0: Anne is cold.[(triple1)] Anne is furry.[(triple2)] Anne is smart.[(triple3 OR ((((triple2 triple1) -> rule2)) -> rule3))] Anne is young.[(triple4)] Fiona is blue.[(triple5)] Fiona is cold.[(triple6)] Fiona is nice.[(triple7)] Fiona is rough.[(triple8)] Fiona is smart.[(triple9 OR ((triple5) -> rule1) OR ((triple7) -> rule3))] Fiona is young.[(triple10)] @1: Anne is nice.[(((triple2 triple1) -> rule2))]