The bald eagle chases the cat. The bald eagle chases the lion. The bald eagle is big. The bald eagle is blue. The bald eagle is cold. The bald eagle is not red. The bald eagle likes the cat. The bald eagle needs the cat. The bald eagle needs the lion. The cat chases the bald eagle. The cat chases the lion. The cat is cold. The cat needs the bald eagle. The cat needs the lion. The lion chases the bald eagle. The lion is not red. If the cat likes the bald eagle then the bald eagle is not nice. If something likes the cat and it chases the cat then the cat chases the lion. If something needs the bald eagle then it chases the lion.
The lion likes the bald eagle.
@0: The bald eagle chases the cat.[(triple1)] The bald eagle chases the lion.[(triple2)] The bald eagle is big.[(triple3)] The bald eagle is blue.[(triple4)] The bald eagle is cold.[(triple5)] The bald eagle is not red.[(triple6)] The bald eagle likes the cat.[(triple7)] The bald eagle needs the cat.[(triple8)] The bald eagle needs the lion.[(triple9)] The cat chases the bald eagle.[(triple10)] The cat chases the lion.[(triple11 OR ((triple13) -> rule3) OR ((triple7 triple1) -> rule2))] The cat is cold.[(triple12)] The cat needs the bald eagle.[(triple13)] The cat needs the lion.[(triple14)] The lion chases the bald eagle.[(triple15)] The lion is not red.[(triple16)]