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