Anne is furry. Anne is nice. Anne is smart. Anne is young. Fiona is furry. Fiona is nice. Fiona is red. Red, quiet people are furry. If Anne is young then Anne is nice.
Anne is not nice.
@0: Anne is furry.[(triple1)] Anne is nice.[(triple2 OR ((triple4) -> rule2))] Anne is smart.[(triple3)] Anne is young.[(triple4)] Fiona is furry.[(triple5)] Fiona is nice.[(triple6)] Fiona is red.[(triple7)]