The cow chases the dog. The cow is big. The cow is kind. The cow is nice. The cow is rough. The cow is young. The cow needs the dog. The cow sees the dog. The dog chases the cow. The dog is big. The dog is kind. The dog is nice. The dog is rough. The dog needs the cow. The dog sees the cow. If something needs the dog then it sees the dog. If the dog is kind and the dog needs the cow then the cow sees the dog. If the cow chases the dog then the dog is rough. If something needs the dog and it is rough then the dog is kind. If something needs the dog then it sees the cow. If something chases the dog and the dog is rough then it sees the dog.
The dog does not see the dog.
@0: The cow chases the dog.[(triple1)] The cow is big.[(triple2)] The cow is kind.[(triple3)] The cow is nice.[(triple4)] The cow is rough.[(triple5)] The cow is young.[(triple6)] The cow needs the dog.[(triple7)] The cow sees the dog.[(triple8 OR ((triple7) -> rule1) OR ((triple1 triple13) -> rule6) OR ((triple11 triple14) -> rule2) OR ((triple1 ((triple1) -> rule3)) -> rule6) OR ((((triple7 triple5) -> rule4) triple14) -> rule2))] The dog chases the cow.[(triple9)] The dog is big.[(triple10)] The dog is kind.[(triple11 OR ((triple7 triple5) -> rule4))] The dog is nice.[(triple12)] The dog is rough.[(triple13 OR ((triple1) -> rule3))] The dog needs the cow.[(triple14)] The dog sees the cow.[(triple15)] @1: The cow sees the cow.[(((triple7) -> rule5))]