The cow eats the tiger. The cow is big. The cow is cold. The cow is green. The cow is nice. The cow likes the tiger. The cow visits the tiger. The tiger is nice. The tiger is young. The tiger does not visit the cow. If something eats the tiger then the tiger eats the cow. If something visits the tiger and it is young then the tiger eats the cow. If something visits the cow and it eats the tiger then the tiger likes the cow. If something is green then it likes the tiger. If something is big and not nice then it does not like the cow. If something is nice then it is green.
The tiger does not eat the cow.
@0: The cow eats the tiger.[(triple1)] The cow is big.[(triple2)] The cow is cold.[(triple3)] The cow is green.[(triple4 OR ((triple5) -> rule6))] The cow is nice.[(triple5)] The cow likes the tiger.[(triple6 OR ((triple4) -> rule4) OR ((((triple5) -> rule6)) -> rule4))] The cow visits the tiger.[(triple7)] The tiger does not visit the cow.[(triple10)] The tiger is nice.[(triple8)] The tiger is young.[(triple9)] @1: The tiger eats the cow.[(((triple1) -> rule1))] The tiger is green.[(((triple8) -> rule6))] @2: The tiger likes the tiger.[(((((triple8) -> rule6)) -> rule4))]