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