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