The cow eats the tiger. The cow is blue. The cow is not cold. The cow is kind. The cow is nice. The cow is round. The cow likes the tiger. The cow sees the tiger. The tiger eats the cow. The tiger is blue. The tiger is cold. The tiger is not kind. The tiger is nice. The tiger is not round. The tiger does not like the cow. The tiger sees the cow. If the cow is cold and the cow likes the tiger then the cow is not kind. If someone sees the tiger then they are round. If the cow does not like the tiger then the tiger is cold.
The cow eats the tiger.
@0: The cow eats the tiger.[(triple1)] The cow is blue.[(triple2)] The cow is kind.[(triple4)] The cow is nice.[(triple5)] The cow is not cold.[(triple3)] The cow is round.[(triple6 OR ((triple8) -> rule2))] The cow likes the tiger.[(triple7)] The cow sees the tiger.[(triple8)] The tiger does not like the cow.[(triple15)] The tiger eats the cow.[(triple9)] The tiger is blue.[(triple10)] The tiger is cold.[(triple11)] The tiger is nice.[(triple13)] The tiger is not kind.[(triple12)] The tiger is not round.[(triple14)] The tiger sees the cow.[(triple16)]