Charlie is rough. Charlie is smart. Dave is blue. Dave is furry. Dave is quiet. Dave is white. Fiona is blue. Fiona is furry. Fiona is quiet. Fiona is not rough. Fiona is not smart. Fiona is white. If someone is white and green then they are not smart. All quiet, white people are green. If Fiona is white then Fiona is not smart. If someone is white then they are furry. Rough, furry people are blue. If Charlie is not green then Charlie is not blue.
Fiona is furry.
@0: Charlie is rough.[(triple1)] Charlie is smart.[(triple2)] Dave is blue.[(triple3)] Dave is furry.[(triple4 OR ((triple6) -> rule4))] Dave is quiet.[(triple5)] Dave is white.[(triple6)] Fiona is blue.[(triple7)] Fiona is furry.[(triple8 OR ((triple12) -> rule4))] Fiona is not rough.[(triple10)] Fiona is not smart.[(triple11 OR ((triple12) -> rule3) OR ((triple12 ((triple9 triple12) -> rule2)) -> rule1))] Fiona is quiet.[(triple9)] Fiona is white.[(triple12)] @1: Dave is green.[(((triple5 triple6) -> rule2))] Fiona is green.[(((triple9 triple12) -> rule2))] @2: Dave is not smart.[(((triple6 ((triple5 triple6) -> rule2)) -> rule1))]