The cow is nice. The cow is red. The cow is round. The cow is young. The cow likes the tiger. The tiger is big. The tiger is nice. The tiger does not like the cow. The tiger needs the cow. The tiger sees the cow. If something is round and it likes the tiger then it is big. If the tiger likes the cow then the cow likes the tiger. If something needs the tiger and it is round then the tiger is not nice.
The tiger is round.
@0: The cow is nice.[(triple1)] The cow is red.[(triple2)] The cow is round.[(triple3)] The cow is young.[(triple4)] The cow likes the tiger.[(triple5)] The tiger does not like the cow.[(triple8)] The tiger is big.[(triple6)] The tiger is nice.[(triple7)] The tiger needs the cow.[(triple9)] The tiger sees the cow.[(triple10)] @1: The cow is big.[(((triple3 triple5) -> rule1))]