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