The cow chases the tiger. The cow eats the tiger. The cow is big. The cow is cold. The cow is not green. The cow is nice. The cow is young. The cow likes the tiger. The tiger chases the cow. The tiger eats the cow. The tiger is big. The tiger is cold. The tiger is nice. The tiger is young. The tiger does not like the cow. If something is green then it does not like the tiger. If the tiger is cold and the tiger chases the cow then the tiger is green. If something is young and it likes the tiger then it does not like the cow.
The cow eats the cow.
@0: The cow chases the tiger.[(triple1)] The cow eats the tiger.[(triple2)] The cow is big.[(triple3)] The cow is cold.[(triple4)] The cow is nice.[(triple6)] The cow is not green.[(triple5)] The cow is young.[(triple7)] The cow likes the tiger.[(triple8)] The tiger chases the cow.[(triple9)] The tiger does not like the cow.[(triple15)] The tiger eats the cow.[(triple10)] The tiger is big.[(triple11)] The tiger is cold.[(triple12)] The tiger is nice.[(triple13)] The tiger is young.[(triple14)] @1: The cow does not like the cow.[(((triple7 triple8) -> rule3))] The tiger is green.[(((triple12 triple9) -> rule2))] @2: The tiger does not like the tiger.[(((((triple12 triple9) -> rule2)) -> rule1))]