Anne is rough. Anne is young. Bob is green. Bob is red. Bob is young. Dave is green. Dave is red. Dave is rough. Dave is smart. Dave is young. Fiona is green. Fiona is red. Fiona is rough. Fiona is round. Fiona is smart. Fiona is young. Smart things are round. Smart things are red. All smart, round things are young.
Fiona is not red.
@0: Anne is rough.[(triple1)] Anne is young.[(triple2)] Bob is green.[(triple3)] Bob is red.[(triple4)] Bob is young.[(triple5)] Dave is green.[(triple6)] Dave is red.[(triple7 OR ((triple9) -> rule2))] Dave is rough.[(triple8)] Dave is smart.[(triple9)] Dave is young.[(triple10 OR ((triple9 ((triple9) -> rule1)) -> rule3))] Fiona is green.[(triple11)] Fiona is red.[(triple12 OR ((triple15) -> rule2))] Fiona is rough.[(triple13)] Fiona is round.[(triple14 OR ((triple15) -> rule1))] Fiona is smart.[(triple15)] Fiona is young.[(triple16 OR ((triple15 triple14) -> rule3) OR ((triple15 ((triple15) -> rule1)) -> rule3))] @1: Dave is round.[(((triple9) -> rule1))]