Anne is not kind. Anne is not round. Anne is white. Dave is big. Dave is furry. Dave is green. Dave is not kind. Dave is nice. Dave is round. Dave is white. Erin is nice. Erin is round. Fiona is big. Fiona is not green. Fiona is round. Fiona is white. If someone is white then they are furry. If someone is white and not furry then they are kind.
Erin is green.
@0: Anne is not kind.[(triple1)] Anne is not round.[(triple2)] Anne is white.[(triple3)] Dave is big.[(triple4)] Dave is furry.[(triple5 OR ((triple10) -> rule1))] Dave is green.[(triple6)] Dave is nice.[(triple8)] Dave is not kind.[(triple7)] Dave is round.[(triple9)] Dave is white.[(triple10)] Erin is nice.[(triple11)] Erin is round.[(triple12)] Fiona is big.[(triple13)] Fiona is not green.[(triple14)] Fiona is round.[(triple15)] Fiona is white.[(triple16)] @1: Anne is furry.[(((triple3) -> rule1))] Fiona is furry.[(((triple16) -> rule1))]