The cow chases the tiger. The cow does not eat the tiger. The cow is blue. The cow is not cold. The cow is green. The cow is nice. The cow is round. The cow sees the tiger. The tiger does not chase the cow. The tiger eats the cow. The tiger is blue. The tiger is cold. The tiger is green. The tiger is round. The tiger sees the cow. If something sees the tiger then it is not cold. If something eats the cow then the cow sees the tiger.
The cow is nice.
@0: The cow chases the tiger.[(triple1)] The cow does not eat the tiger.[(triple2)] The cow is blue.[(triple3)] The cow is green.[(triple5)] The cow is nice.[(triple6)] The cow is not cold.[(triple4 OR ((triple8) -> rule1) OR ((((triple10) -> rule2)) -> rule1))] The cow is round.[(triple7)] The cow sees the tiger.[(triple8 OR ((triple10) -> rule2))] The tiger does not chase the cow.[(triple9)] The tiger eats the cow.[(triple10)] The tiger is blue.[(triple11)] The tiger is cold.[(triple12)] The tiger is green.[(triple13)] The tiger is round.[(triple14)] The tiger sees the cow.[(triple15)]