Dave is furry. Dave is green. Dave is nice. Dave is quiet. Dave is round. Dave is smart. Dave is not white. Fiona is furry. Fiona is green. Fiona is nice. Fiona is quiet. Fiona is round. Fiona is smart. Fiona is white. If Fiona is nice and Fiona is green then Fiona is quiet. All white, round things are green. Green, nice things are smart. If Fiona is furry then Fiona is green. Green things are quiet. If something is white and not smart then it is quiet.
Fiona is not nice.
@0: Dave is furry.[(triple1)] Dave is green.[(triple2)] Dave is nice.[(triple3)] Dave is not white.[(triple7)] Dave is quiet.[(triple4 OR ((triple2) -> rule5))] Dave is round.[(triple5)] Dave is smart.[(triple6 OR ((triple2 triple3) -> rule3))] Fiona is furry.[(triple8)] Fiona is green.[(triple9 OR ((triple8) -> rule4) OR ((triple14 triple12) -> rule2))] Fiona is nice.[(triple10)] Fiona is quiet.[(triple11 OR ((triple9) -> rule5) OR ((triple10 triple9) -> rule1) OR ((((triple8) -> rule4)) -> rule5) OR ((((triple14 triple12) -> rule2)) -> rule5) OR ((triple10 ((triple8) -> rule4)) -> rule1) OR ((triple10 ((triple14 triple12) -> rule2)) -> rule1))] Fiona is round.[(triple12)] Fiona is smart.[(triple13 OR ((triple9 triple10) -> rule3) OR ((((triple8) -> rule4) triple10) -> rule3) OR ((((triple14 triple12) -> rule2) triple10) -> rule3))] Fiona is white.[(triple14)]