The cow chases the dog. The cow eats the dog. The cow is big. The cow is not green. The cow is not kind. The cow is not round. The cow is not young. The cow sees the dog. The dog chases the cow. The dog eats the cow. The dog is big. The dog is green. The dog is kind. The dog is round. The dog is young. The dog sees the cow. If someone chases the dog then the dog eats the cow. If someone chases the dog then they chase the cow. If someone eats the cow then they chase the dog. If someone chases the cow then they eat the cow. If someone is green and they eat the cow then they see the cow. If someone is young then they see the cow.
The dog does not chase the dog.
@0: The cow chases the dog.[(triple1)] The cow eats the dog.[(triple2)] The cow is big.[(triple3)] The cow is not green.[(triple4)] The cow is not kind.[(triple5)] The cow is not round.[(triple6)] The cow is not young.[(triple7)] The cow sees the dog.[(triple8)] The dog chases the cow.[(triple9 OR ((((triple10) -> rule3)) -> rule2) OR ((((((triple1) -> rule1)) -> rule3)) -> rule2))] The dog eats the cow.[(triple10 OR ((triple1) -> rule1) OR ((triple9) -> rule4))] The dog is big.[(triple11)] The dog is green.[(triple12)] The dog is kind.[(triple13)] The dog is round.[(triple14)] The dog is young.[(triple15)] The dog sees the cow.[(triple16 OR ((triple15) -> rule6) OR ((triple12 triple10) -> rule5) OR ((triple12 ((triple1) -> rule1)) -> rule5) OR ((triple12 ((triple9) -> rule4)) -> rule5))] @1: The cow chases the cow.[(((triple1) -> rule2))] The dog chases the dog.[(((triple10) -> rule3) OR ((((triple1) -> rule1)) -> rule3) OR ((((triple9) -> rule4)) -> rule3))] @2: The cow eats the cow.[(((((triple1) -> rule2)) -> rule4))]