Anne is blue. Anne is furry. Anne is nice. Anne is rough. Anne is young. Dave is furry. Dave is not red. Dave is young. Fiona is red. Fiona is young. All nice people are rough. If someone is nice then they are red.
Anne is blue.
@0: Anne is blue.[(triple1)] Anne is furry.[(triple2)] Anne is nice.[(triple3)] Anne is rough.[(triple4 OR ((triple3) -> rule1))] Anne is young.[(triple5)] Dave is furry.[(triple6)] Dave is not red.[(triple7)] Dave is young.[(triple8)] Fiona is red.[(triple9)] Fiona is young.[(triple10)] @1: Anne is red.[(((triple3) -> rule2))]