The cow eats the tiger. The cow is not cold. The cow is not kind. The cow sees the tiger. The tiger chases the cow. The tiger eats the cow. The tiger is blue. The tiger is cold. The tiger is green. The tiger is kind. The tiger is red. The tiger sees the cow. If the cow does not eat the tiger then the cow is not green. If something sees the tiger and the tiger is green then it is red.
The cow is green.
@0: The cow eats the tiger.[(triple1)] The cow is not cold.[(triple2)] The cow is not kind.[(triple3)] The cow sees the tiger.[(triple4)] The tiger chases the cow.[(triple5)] The tiger eats the cow.[(triple6)] The tiger is blue.[(triple7)] The tiger is cold.[(triple8)] The tiger is green.[(triple9)] The tiger is kind.[(triple10)] The tiger is red.[(triple11)] The tiger sees the cow.[(triple12)] @1: The cow is red.[(((triple4 triple9) -> rule2))]