Anne is big. Anne is blue. Anne is furry. Anne is kind. Anne is not quiet. Dave is big. Dave is blue. Dave is furry. Dave is kind. Dave is not nice. Dave is quiet. Dave is not smart. Fiona is blue. Fiona is furry. Fiona is nice. Fiona is quiet. If someone is quiet and not big then they are smart. If Anne is nice then Anne is blue. Quiet people are blue. Furry people are blue. If Dave is not furry then Dave is nice. All smart, blue people are quiet.
Anne is not furry.
@0: Anne is big.[(triple1)] Anne is blue.[(triple2 OR ((triple3) -> rule4))] Anne is furry.[(triple3)] Anne is kind.[(triple4)] Anne is not quiet.[(triple5)] Dave is big.[(triple6)] Dave is blue.[(triple7 OR ((triple11) -> rule3) OR ((triple8) -> rule4))] Dave is furry.[(triple8)] Dave is kind.[(triple9)] Dave is not nice.[(triple10)] Dave is not smart.[(triple12)] Dave is quiet.[(triple11)] Fiona is blue.[(triple13 OR ((triple14) -> rule4) OR ((triple16) -> rule3))] Fiona is furry.[(triple14)] Fiona is nice.[(triple15)] Fiona is quiet.[(triple16)]