The cow chases the rabbit. The cow is big. The cow is blue. The cow visits the rabbit. The rabbit is cold. The rabbit likes the tiger. The rabbit visits the tiger. The tiger chases the cow. The tiger chases the rabbit. The tiger is big. The tiger is blue. The tiger likes the cow. The tiger likes the rabbit. The tiger visits the cow. The tiger visits the rabbit. If something chases the tiger then the tiger is big. If something likes the cow then it visits the cow. If something likes the rabbit then it likes the cow.
The tiger does not visit the rabbit.
@0: The cow chases the rabbit.[(triple1)] The cow is big.[(triple2)] The cow is blue.[(triple3)] The cow visits the rabbit.[(triple4)] The rabbit is cold.[(triple5)] The rabbit likes the tiger.[(triple6)] The rabbit visits the tiger.[(triple7)] The tiger chases the cow.[(triple8)] The tiger chases the rabbit.[(triple9)] The tiger is big.[(triple10)] The tiger is blue.[(triple11)] The tiger likes the cow.[(triple12 OR ((triple13) -> rule3))] The tiger likes the rabbit.[(triple13)] The tiger visits the cow.[(triple14 OR ((triple12) -> rule2) OR ((((triple13) -> rule3)) -> rule2))] The tiger visits the rabbit.[(triple15)]