The cow eats the tiger. The cow is big. The cow is blue. The cow is cold. The cow is nice. The cow is young. The cow likes the tiger. The cow needs the tiger. The tiger eats the cow. The tiger is big. The tiger is not blue. The tiger needs the cow. If the tiger eats the cow then the cow likes the tiger. If someone likes the cow then they need the cow.
The tiger is cold.
@0: The cow eats the tiger.[(triple1)] The cow is big.[(triple2)] The cow is blue.[(triple3)] The cow is cold.[(triple4)] The cow is nice.[(triple5)] The cow is young.[(triple6)] The cow likes the tiger.[(triple7 OR ((triple9) -> rule1))] The cow needs the tiger.[(triple8)] The tiger eats the cow.[(triple9)] The tiger is big.[(triple10)] The tiger is not blue.[(triple11)] The tiger needs the cow.[(triple12)]