Anne is big. Anne is blue. Anne is furry. Anne is green. Anne is kind. Anne is quiet. Anne is rough. Dave is big. Dave is blue. Dave is furry. Dave is green. Dave is kind. Dave is quiet. Fiona is big. Fiona is quiet. Fiona is rough. Blue, quiet people are furry. If Dave is furry and Dave is kind then Dave is green.
Dave is not blue.
@0: Anne is big.[(triple1)] Anne is blue.[(triple2)] Anne is furry.[(triple3 OR ((triple2 triple6) -> rule1))] Anne is green.[(triple4)] Anne is kind.[(triple5)] Anne is quiet.[(triple6)] Anne is rough.[(triple7)] Dave is big.[(triple8)] Dave is blue.[(triple9)] Dave is furry.[(triple10 OR ((triple9 triple13) -> rule1))] Dave is green.[(triple11 OR ((triple10 triple12) -> rule2) OR ((((triple9 triple13) -> rule1) triple12) -> rule2))] Dave is kind.[(triple12)] Dave is quiet.[(triple13)] Fiona is big.[(triple14)] Fiona is quiet.[(triple15)] Fiona is rough.[(triple16)]