The cow chases the tiger. The cow is blue. The cow is cold. The cow is kind. The cow is rough. The cow is young. The cow sees the tiger. The cow visits the tiger. The tiger chases the cow. The tiger is young. The tiger sees the cow. The tiger visits the cow. If something visits the tiger and the tiger sees the cow then it sees the tiger.
The tiger is cold.
@0: The cow chases the tiger.[(triple1)] The cow is blue.[(triple2)] The cow is cold.[(triple3)] The cow is kind.[(triple4)] The cow is rough.[(triple5)] The cow is young.[(triple6)] The cow sees the tiger.[(triple7 OR ((triple8 triple11) -> rule1))] The cow visits the tiger.[(triple8)] The tiger chases the cow.[(triple9)] The tiger is young.[(triple10)] The tiger sees the cow.[(triple11)] The tiger visits the cow.[(triple12)]