Anne is furry. Anne is red. Anne is rough. Anne is round. Anne is smart. Anne is not young. Dave is not furry. Dave is smart. Dave is young. Fiona is quiet. Fiona is rough. Fiona is not round. Fiona is smart. Harry is furry. Harry is red. Harry is smart. Round things are not young. If Dave is young and Dave is round then Dave is smart.
Harry is rough.
@0: Anne is furry.[(triple1)] Anne is not young.[(triple6 OR ((triple4) -> rule1))] Anne is red.[(triple2)] Anne is rough.[(triple3)] Anne is round.[(triple4)] Anne is smart.[(triple5)] Dave is not furry.[(triple7)] Dave is smart.[(triple8)] Dave is young.[(triple9)] Fiona is not round.[(triple12)] Fiona is quiet.[(triple10)] Fiona is rough.[(triple11)] Fiona is smart.[(triple13)] Harry is furry.[(triple14)] Harry is red.[(triple15)] Harry is smart.[(triple16)]