Anne is blue. Anne is green. Anne is quiet. Anne is rough. Anne is not young. Dave is blue. Dave is furry. Dave is green. Dave is quiet. Dave is rough. Dave is round. Fiona is not furry. Fiona is not green. Fiona is rough. Fiona is young. If something is blue then it is rough. If something is round then it is rough. If Anne is young and Anne is green then Anne is rough. Green things are furry. All round things are young. All furry, young things are green. If Dave is green and Dave is rough then Dave is furry. If Dave is green then Dave is quiet.
Fiona is not round.
@0: Anne is blue.[(triple1)] Anne is green.[(triple2)] Anne is not young.[(triple5)] Anne is quiet.[(triple3)] Anne is rough.[(triple4 OR ((triple1) -> rule1))] Dave is blue.[(triple6)] Dave is furry.[(triple7 OR ((triple8) -> rule4) OR ((triple8 triple10) -> rule7) OR ((triple8 ((triple11) -> rule2)) -> rule7) OR ((triple8 ((triple6) -> rule1)) -> rule7))] Dave is green.[(triple8 OR ((triple7 ((triple11) -> rule5)) -> rule6))] Dave is quiet.[(triple9 OR ((triple8) -> rule8) OR ((((triple7 ((triple11) -> rule5)) -> rule6)) -> rule8))] Dave is rough.[(triple10 OR ((triple11) -> rule2) OR ((triple6) -> rule1))] Dave is round.[(triple11)] Fiona is not furry.[(triple12)] Fiona is not green.[(triple13)] Fiona is rough.[(triple14)] Fiona is young.[(triple15)] @1: Anne is furry.[(((triple2) -> rule4))] Dave is young.[(((triple11) -> rule5))]