The cat chases the lion. The cat chases the rabbit. The cat is green. The cat sees the cow. The cat sees the lion. The cat sees the rabbit. The cow chases the rabbit. The cow sees the rabbit. The cow visits the cat. The lion chases the cow. The lion sees the rabbit. The lion visits the cow. The rabbit is big. The rabbit is green. The rabbit sees the cat. If something sees the cat and the cat is big then the cat sees the rabbit. If something is round and it visits the rabbit then it is young. If something is nice then it chases the rabbit. If the rabbit chases the lion and the lion visits the cow then the cow visits the rabbit. If something is nice and it sees the cat then the cat chases the lion. If something chases the cow then the cow chases the lion. If the cat is nice and the cat sees the lion then the lion chases the rabbit. If something is green then it chases the lion.
The cat does not see the lion.
@0: The cat chases the lion.[(triple1 OR ((triple3) -> rule8))] The cat chases the rabbit.[(triple2)] The cat is green.[(triple3)] The cat sees the cow.[(triple4)] The cat sees the lion.[(triple5)] The cat sees the rabbit.[(triple6)] The cow chases the rabbit.[(triple7)] The cow sees the rabbit.[(triple8)] The cow visits the cat.[(triple9)] The lion chases the cow.[(triple10)] The lion sees the rabbit.[(triple11)] The lion visits the cow.[(triple12)] The rabbit is big.[(triple13)] The rabbit is green.[(triple14)] The rabbit sees the cat.[(triple15)] @1: The cow chases the lion.[(((triple10) -> rule6))] The rabbit chases the lion.[(((triple14) -> rule8))] @2: The cow visits the rabbit.[(((((triple14) -> rule8) triple12) -> rule4))]