Dave is not big. Dave is not furry. Dave is not quiet. Fiona is big. Fiona is not nice. Fiona is quiet. Fiona is red. If someone is furry then they are nice. If someone is red and big then they are not nice. Big people are not nice. If someone is furry and nice then they are red. If Dave is green and Dave is big then Dave is quiet. If Dave is furry and Dave is red then Dave is nice. If Dave is rough and Dave is big then Dave is green. If someone is nice and not green then they are not quiet.
Fiona is nice.
@0: Dave is not big.[(triple1)] Dave is not furry.[(triple2)] Dave is not quiet.[(triple3)] Fiona is big.[(triple4)] Fiona is not nice.[(triple5 OR ((triple4) -> rule3) OR ((triple7 triple4) -> rule2))] Fiona is quiet.[(triple6)] Fiona is red.[(triple7)]