The cat is cold. The cat needs the cow. The cat sees the cow. The cat sees the tiger. The cow is green. The cow needs the rabbit. The cow sees the rabbit. The cow sees the tiger. The rabbit needs the cat. The rabbit sees the cow. The tiger eats the cat. The tiger needs the cow. If something is green and it sees the rabbit then it is cold. If something is blue and it sees the rabbit then it eats the cow. If something is blue and cold then it eats the cat.
The rabbit sees the tiger.
@0: The cat is cold.[(triple1)] The cat needs the cow.[(triple2)] The cat sees the cow.[(triple3)] The cat sees the tiger.[(triple4)] The cow is green.[(triple5)] The cow needs the rabbit.[(triple6)] The cow sees the rabbit.[(triple7)] The cow sees the tiger.[(triple8)] The rabbit needs the cat.[(triple9)] The rabbit sees the cow.[(triple10)] The tiger eats the cat.[(triple11)] The tiger needs the cow.[(triple12)] @1: The cow is cold.[(((triple5 triple7) -> rule1))]