The bald eagle chases the lion. The bald eagle is blue. The bald eagle is young. The bald eagle sees the lion. The bald eagle visits the lion. The cow chases the lion. The cow is blue. The cow is red. The lion chases the cow. The tiger visits the cow. If the lion chases the bald eagle and the lion sees the cow then the cow is red. If something is red and young then it sees the cow. If the bald eagle visits the tiger and the bald eagle is blue then the bald eagle chases the cow. If something chases the tiger then it visits the lion. If something sees the cow then the cow chases the tiger. If something is rough and it sees the bald eagle then the bald eagle is blue. If something visits the bald eagle and the bald eagle is blue then it is big. If the bald eagle is blue and the bald eagle chases the lion then the lion sees the cow.
The lion does not see the cow.
@0: The bald eagle chases the lion.[(triple1)] The bald eagle is blue.[(triple2)] The bald eagle is young.[(triple3)] The bald eagle sees the lion.[(triple4)] The bald eagle visits the lion.[(triple5)] The cow chases the lion.[(triple6)] The cow is blue.[(triple7)] The cow is red.[(triple8)] The lion chases the cow.[(triple9)] The tiger visits the cow.[(triple10)] @1: The lion sees the cow.[(((triple2 triple1) -> rule8))] @2: The cow chases the tiger.[(((((triple2 triple1) -> rule8)) -> rule5))] @3: The cow visits the lion.[(((((((triple2 triple1) -> rule8)) -> rule5)) -> rule4))]