The cow chases the dog. The cow eats the dog. The cow is big. The cow is blue. The cow is green. The cow is nice. The cow needs the dog. The dog chases the cow. The dog eats the cow. The dog is big. The dog is blue. The dog is green. The dog is nice. The dog is rough. The dog needs the cow. If the cow eats the dog then the cow is nice. If someone chases the dog and they eat the dog then the dog needs the cow. If someone needs the dog and the dog chases the cow then they are rough. If someone eats the dog and the dog is nice then they chase the cow. If someone is rough and they eat the dog then the dog is big. If someone chases the cow and the cow is blue then the cow chases the dog.
The cow does not need the dog.
@0: The cow chases the dog.[(triple1 OR ((triple8 triple4) -> rule6) OR ((((triple2 triple13) -> rule4) triple4) -> rule6))] The cow eats the dog.[(triple2)] The cow is big.[(triple3)] The cow is blue.[(triple4)] The cow is green.[(triple5)] The cow is nice.[(triple6 OR ((triple2) -> rule1))] The cow needs the dog.[(triple7)] The dog chases the cow.[(triple8)] The dog eats the cow.[(triple9)] The dog is big.[(triple10 OR ((((triple7 triple8) -> rule3) triple2) -> rule5))] The dog is blue.[(triple11)] The dog is green.[(triple12)] The dog is nice.[(triple13)] The dog is rough.[(triple14)] The dog needs the cow.[(triple15 OR ((triple1 triple2) -> rule2) OR ((((triple8 triple4) -> rule6) triple2) -> rule2) OR ((((((triple2 triple13) -> rule4) triple4) -> rule6) triple2) -> rule2))] @1: The cow chases the cow.[(((triple2 triple13) -> rule4))] The cow is rough.[(((triple7 triple8) -> rule3))]