The cow eats the tiger. The cow is rough. The cow is round. The cow is young. The cow likes the tiger. The cow sees the tiger. The tiger eats the cow. The tiger is kind. The tiger likes the cow. The tiger sees the cow. If the cow eats the tiger and the tiger likes the cow then the tiger is round.
The tiger is young.
@0: The cow eats the tiger.[(triple1)] The cow is rough.[(triple2)] The cow is round.[(triple3)] The cow is young.[(triple4)] The cow likes the tiger.[(triple5)] The cow sees the tiger.[(triple6)] The tiger eats the cow.[(triple7)] The tiger is kind.[(triple8)] The tiger likes the cow.[(triple9)] The tiger sees the cow.[(triple10)] @1: The tiger is round.[(((triple1 triple9) -> rule1))]