Bob is not green. Bob is not kind. Bob is not smart. Dave is blue. Dave is not furry. Dave is not green. Dave is not quiet. Dave is rough. Erin is blue. Erin is green. Erin is smart. Fiona is furry. Fiona is green. Fiona is quiet. Fiona is not rough. Fiona is smart. Quiet people are green. All green people are quiet. All kind people are blue. If Fiona is green and Fiona is not quiet then Fiona is smart. All kind, smart people are rough. Green, rough people are smart.
Fiona is not rough.
@0: Bob is not green.[(triple1)] Bob is not kind.[(triple2)] Bob is not smart.[(triple3)] Dave is blue.[(triple4)] Dave is not furry.[(triple5)] Dave is not green.[(triple6)] Dave is not quiet.[(triple7)] Dave is rough.[(triple8)] Erin is blue.[(triple9)] Erin is green.[(triple10)] Erin is smart.[(triple11)] Fiona is furry.[(triple12)] Fiona is green.[(triple13 OR ((triple14) -> rule1))] Fiona is not rough.[(triple15)] Fiona is quiet.[(triple14 OR ((triple13) -> rule2))] Fiona is smart.[(triple16)] @1: Erin is quiet.[(((triple10) -> rule2))]