Dave is furry. Dave is quiet. Dave is smart. Erin is nice. Erin is quiet. Erin is round. Erin is young. Fiona is quiet. Fiona is round. Fiona is young. Gary is nice. Gary is young. If Gary is smart and Gary is furry then Gary is green. Furry things are smart. If something is round and young then it is quiet. Smart, furry things are green. If Erin is furry and Erin is smart then Erin is quiet. If something is green then it is nice.
Dave is not green.
@0: Dave is furry.[(triple1)] Dave is quiet.[(triple2)] Dave is smart.[(triple3 OR ((triple1) -> rule2))] Erin is nice.[(triple4)] Erin is quiet.[(triple5 OR ((triple6 triple7) -> rule3))] Erin is round.[(triple6)] Erin is young.[(triple7)] Fiona is quiet.[(triple8 OR ((triple9 triple10) -> rule3))] Fiona is round.[(triple9)] Fiona is young.[(triple10)] Gary is nice.[(triple11)] Gary is young.[(triple12)] @1: Dave is green.[(((triple3 triple1) -> rule4) OR ((((triple1) -> rule2) triple1) -> rule4))] @2: Dave is nice.[(((((triple3 triple1) -> rule4)) -> rule6) OR ((((((triple1) -> rule2) triple1) -> rule4)) -> rule6))]