The cow eats the dog. The cow is blue. The cow is nice. The cow is young. The cow needs the dog. The cow sees the dog. The dog eats the cow. The dog is rough. The dog is round. The dog is young. The dog needs the cow. The dog sees the cow. If something needs the cow then it eats the cow. If something sees the cow then it is nice. If something eats the cow then the cow is round. If something is nice and it eats the dog then the dog sees the cow. If the cow needs the dog and the dog needs the cow then the dog is young. If something is round then it needs the cow.
The cow does not need the cow.
@0: The cow eats the dog.[(triple1)] The cow is blue.[(triple2)] The cow is nice.[(triple3)] The cow is young.[(triple4)] The cow needs the dog.[(triple5)] The cow sees the dog.[(triple6)] The dog eats the cow.[(triple7 OR ((triple11) -> rule1) OR ((((triple9) -> rule6)) -> rule1))] The dog is rough.[(triple8)] The dog is round.[(triple9)] The dog is young.[(triple10 OR ((triple5 triple11) -> rule5) OR ((triple5 ((triple9) -> rule6)) -> rule5))] The dog needs the cow.[(triple11 OR ((triple9) -> rule6))] The dog sees the cow.[(triple12 OR ((triple3 triple1) -> rule4))] @1: The cow is round.[(((triple7) -> rule3) OR ((((triple11) -> rule1)) -> rule3) OR ((((((triple9) -> rule6)) -> rule1)) -> rule3))] The dog is nice.[(((triple12) -> rule2) OR ((((triple3 triple1) -> rule4)) -> rule2))] @2: The cow needs the cow.[(((((triple7) -> rule3)) -> rule6) OR ((((((triple11) -> rule1)) -> rule3)) -> rule6) OR ((((((((triple9) -> rule6)) -> rule1)) -> rule3)) -> rule6))] @3: The cow eats the cow.[(((((((triple7) -> rule3)) -> rule6)) -> rule1) OR ((((((((triple11) -> rule1)) -> rule3)) -> rule6)) -> rule1) OR ((((((((((triple9) -> rule6)) -> rule1)) -> rule3)) -> rule6)) -> rule1))]