The cow does not chase the tiger. The cow eats the tiger. The cow is cold. The cow is green. The cow is red. The cow is round. The cow visits the tiger. The tiger chases the cow. The tiger does not eat the cow. The tiger is big. The tiger is cold. The tiger is green. The tiger is red. The tiger is round. The tiger visits the cow. If someone visits the tiger and they are green then the tiger is red. If the cow is big and the cow eats the tiger then the tiger is red. If the tiger does not chase the cow then the tiger is not round.
The cow eats the cow.
@0: The cow does not chase the tiger.[(triple1)] The cow eats the tiger.[(triple2)] The cow is cold.[(triple3)] The cow is green.[(triple4)] The cow is red.[(triple5)] The cow is round.[(triple6)] The cow visits the tiger.[(triple7)] The tiger chases the cow.[(triple8)] The tiger does not eat the cow.[(triple9)] The tiger is big.[(triple10)] The tiger is cold.[(triple11)] The tiger is green.[(triple12)] The tiger is red.[(triple13 OR ((triple7 triple4) -> rule1))] The tiger is round.[(triple14)] The tiger visits the cow.[(triple15)]