Anne is big. Anne is not green. Anne is not nice. Anne is not white. Dave is big. Dave is furry. Dave is green. Dave is not nice. Dave is quiet. Dave is not round. Dave is white. Fiona is furry. Harry is big. Harry is furry. Harry is not white. If something is quiet and not nice then it is white.
Fiona is not white.
@0: Anne is big.[(triple1)] Anne is not green.[(triple2)] Anne is not nice.[(triple3)] Anne is not white.[(triple4)] Dave is big.[(triple5)] Dave is furry.[(triple6)] Dave is green.[(triple7)] Dave is not nice.[(triple8)] Dave is not round.[(triple10)] Dave is quiet.[(triple9)] Dave is white.[(triple11 OR ((triple9 triple8) -> rule1))] Fiona is furry.[(triple12)] Harry is big.[(triple13)] Harry is furry.[(triple14)] Harry is not white.[(triple15)]