The bald eagle chases the lion. The bald eagle is big. The bald eagle is blue. The bald eagle is green. The bald eagle likes the cat. The bald eagle likes the lion. The bald eagle sees the cat. The bald eagle sees the lion. The cat chases the bald eagle. The cat is blue. The cat is young. The cat likes the lion. The cat sees the lion. The lion likes the bald eagle. The lion likes the cat. The lion sees the cat. If something likes the cat then it likes the lion. If something likes the lion and it likes the bald eagle then it is big. If the lion sees the cat and the cat chases the lion then the lion sees the bald eagle.
The lion is big.
@0: The bald eagle chases the lion.[(triple1)] The bald eagle is big.[(triple2)] The bald eagle is blue.[(triple3)] The bald eagle is green.[(triple4)] The bald eagle likes the cat.[(triple5)] The bald eagle likes the lion.[(triple6 OR ((triple5) -> rule1))] The bald eagle sees the cat.[(triple7)] The bald eagle sees the lion.[(triple8)] The cat chases the bald eagle.[(triple9)] The cat is blue.[(triple10)] The cat is young.[(triple11)] The cat likes the lion.[(triple12)] The cat sees the lion.[(triple13)] The lion likes the bald eagle.[(triple14)] The lion likes the cat.[(triple15)] The lion sees the cat.[(triple16)] @1: The lion likes the lion.[(((triple15) -> rule1))] @2: The lion is big.[(((((triple15) -> rule1) triple14) -> rule2))]