Anne is rough. Dave is blue. Dave is furry. Dave is kind. Dave is smart. Fiona is furry. Fiona is kind. Fiona is rough. Fiona is smart. Fiona is young. Gary is blue. Gary is furry. Gary is kind. Gary is smart. Gary is young. If Anne is smart then Anne is rough. Smart, furry things are rough. All blue things are smart.
Anne is not smart.
@0: Anne is rough.[(triple1)] Dave is blue.[(triple2)] Dave is furry.[(triple3)] Dave is kind.[(triple4)] Dave is smart.[(triple5 OR ((triple2) -> rule3))] Fiona is furry.[(triple6)] Fiona is kind.[(triple7)] Fiona is rough.[(triple8 OR ((triple9 triple6) -> rule2))] Fiona is smart.[(triple9)] Fiona is young.[(triple10)] Gary is blue.[(triple11)] Gary is furry.[(triple12)] Gary is kind.[(triple13)] Gary is smart.[(triple14 OR ((triple11) -> rule3))] Gary is young.[(triple15)] @1: Dave is rough.[(((triple5 triple3) -> rule2) OR ((((triple2) -> rule3) triple3) -> rule2))] Gary is rough.[(((triple14 triple12) -> rule2) OR ((((triple11) -> rule3) triple12) -> rule2))]