The cat visits the cow. The cow chases the lion. The cow chases the tiger. The cow is blue. The cow is kind. The cow is round. The cow likes the cat. The lion is round. The tiger chases the cat. The tiger is blue. The tiger is round. The tiger visits the lion. If the cat likes the tiger and the cat chases the cow then the cat is young. If someone chases the cat and they chase the tiger then the tiger likes the cow. If someone chases the lion then they are round.
The cat chases the cow.
@0: The cat visits the cow.[(triple1)] The cow chases the lion.[(triple2)] The cow chases the tiger.[(triple3)] The cow is blue.[(triple4)] The cow is kind.[(triple5)] The cow is round.[(triple6 OR ((triple2) -> rule3))] The cow likes the cat.[(triple7)] The lion is round.[(triple8)] The tiger chases the cat.[(triple9)] The tiger is blue.[(triple10)] The tiger is round.[(triple11)] The tiger visits the lion.[(triple12)]