The cow chases the tiger. The cow eats the tiger. The cow is blue. The cow is cold. The cow is kind. The cow is nice. The cow is red. The cow visits the tiger. The tiger chases the cow. The tiger eats the cow. The tiger is cold. The tiger is kind. The tiger is nice. The tiger is red. The tiger visits the cow. If something eats the cow then the cow chases the tiger. If something visits the cow then the cow eats the tiger. If something chases the cow and it chases the tiger then the tiger chases the cow.
The cow is blue.
@0: The cow chases the tiger.[(triple1 OR ((triple10) -> rule1))] The cow eats the tiger.[(triple2 OR ((triple15) -> rule2))] The cow is blue.[(triple3)] The cow is cold.[(triple4)] The cow is kind.[(triple5)] The cow is nice.[(triple6)] The cow is red.[(triple7)] The cow visits the tiger.[(triple8)] The tiger chases the cow.[(triple9)] The tiger eats the cow.[(triple10)] The tiger is cold.[(triple11)] The tiger is kind.[(triple12)] The tiger is nice.[(triple13)] The tiger is red.[(triple14)] The tiger visits the cow.[(triple15)]