Anne is blue. Anne is cold. Anne is furry. Anne is kind. Anne is nice. Anne is rough. Anne is round. Fiona is blue. Fiona is furry. Fiona is kind. Fiona is nice. Fiona is round. If Anne is cold then Anne is nice. If something is rough then it is nice. All round, blue things are rough.
Fiona is furry.
@0: Anne is blue.[(triple1)] Anne is cold.[(triple2)] Anne is furry.[(triple3)] Anne is kind.[(triple4)] Anne is nice.[(triple5 OR ((triple2) -> rule1) OR ((triple6) -> rule2) OR ((((triple7 triple1) -> rule3)) -> rule2))] Anne is rough.[(triple6 OR ((triple7 triple1) -> rule3))] Anne is round.[(triple7)] Fiona is blue.[(triple8)] Fiona is furry.[(triple9)] Fiona is kind.[(triple10)] Fiona is nice.[(triple11 OR ((((triple12 triple8) -> rule3)) -> rule2))] Fiona is round.[(triple12)] @1: Fiona is rough.[(((triple12 triple8) -> rule3))]