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