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