The cow is green. The cow is rough. The tiger eats the cow. The tiger is blue. The tiger is green. The tiger is not kind. The tiger is rough. The tiger is young. The tiger does not like the cow. The tiger sees the cow. If something likes the tiger then it eats the cow. If something sees the cow then the cow likes the tiger.
The cow eats the cow.
@0: The cow is green.[(triple1)] The cow is rough.[(triple2)] The tiger does not like the cow.[(triple9)] The tiger eats the cow.[(triple3)] The tiger is blue.[(triple4)] The tiger is green.[(triple5)] The tiger is not kind.[(triple6)] The tiger is rough.[(triple7)] The tiger is young.[(triple8)] The tiger sees the cow.[(triple10)] @1: The cow likes the tiger.[(((triple10) -> rule2))] @2: The cow eats the cow.[(((((triple10) -> rule2)) -> rule1))]