The cat chases the tiger. The cat is cold. The cat is nice. The cat is round. The cat is young. The cat sees the cow. The cow chases the cat. The cow is big. The cow is round. The cow sees the cat. The cow sees the tiger. The cow visits the cat. The cow visits the tiger. The tiger chases the cat. The tiger chases the cow. If something is round and it chases the cow then the cow is young. If the cat is nice and the cat visits the cow then the cow sees the cat. Cold things are young. If something visits the cow then it chases the tiger. If something chases the tiger then the tiger is young. If the tiger is big and the tiger chases the cow then the cow visits the cat.
The cow visits the cow.
@0: The cat chases the tiger.[(triple1)] The cat is cold.[(triple2)] The cat is nice.[(triple3)] The cat is round.[(triple4)] The cat is young.[(triple5 OR ((triple2) -> rule3))] The cat sees the cow.[(triple6)] The cow chases the cat.[(triple7)] The cow is big.[(triple8)] The cow is round.[(triple9)] The cow sees the cat.[(triple10)] The cow sees the tiger.[(triple11)] The cow visits the cat.[(triple12)] The cow visits the tiger.[(triple13)] The tiger chases the cat.[(triple14)] The tiger chases the cow.[(triple15)] @1: The tiger is young.[(((triple1) -> rule5))]