The cow is not cold. The cow is kind. The cow needs the tiger. The cow sees the tiger. The tiger is green. The tiger is kind. The tiger is nice. The tiger needs the cow. The tiger sees the cow. The tiger visits the cow. If someone visits the tiger and the tiger sees the cow then the cow is young. If someone visits the cow and the cow sees the tiger then the cow visits the tiger.
The tiger is cold.
@0: The cow is kind.[(triple2)] The cow is not cold.[(triple1)] The cow needs the tiger.[(triple3)] The cow sees the tiger.[(triple4)] The tiger is green.[(triple5)] The tiger is kind.[(triple6)] The tiger is nice.[(triple7)] The tiger needs the cow.[(triple8)] The tiger sees the cow.[(triple9)] The tiger visits the cow.[(triple10)] @1: The cow visits the tiger.[(((triple10 triple4) -> rule2))] @2: The cow is young.[(((((triple10 triple4) -> rule2) triple9) -> rule1))]