Anne is cold. Anne is furry. Anne is green. Anne is kind. Anne is nice. Anne is quiet. Anne is red. Fiona is cold. Fiona is furry. Fiona is green. Fiona is kind. Fiona is nice. Fiona is quiet. Fiona is red. Quiet things are furry. If something is green then it is nice.
Anne is furry.
@0: Anne is cold.[(triple1)] Anne is furry.[(triple2 OR ((triple6) -> rule1))] Anne is green.[(triple3)] Anne is kind.[(triple4)] Anne is nice.[(triple5 OR ((triple3) -> rule2))] Anne is quiet.[(triple6)] Anne is red.[(triple7)] Fiona is cold.[(triple8)] Fiona is furry.[(triple9 OR ((triple13) -> rule1))] Fiona is green.[(triple10)] Fiona is kind.[(triple11)] Fiona is nice.[(triple12 OR ((triple10) -> rule2))] Fiona is quiet.[(triple13)] Fiona is red.[(triple14)]