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