The bald eagle chases the lion. The bald eagle chases the squirrel. The bald eagle eats the cat. The bald eagle eats the squirrel. The bald eagle is cold. The bald eagle likes the cat. The cat chases the bald eagle. The cat chases the squirrel. The cat is red. The cat is young. The lion eats the bald eagle. The lion likes the bald eagle. The squirrel chases the bald eagle. The squirrel eats the cat. The squirrel likes the bald eagle. All red people are cold. If someone chases the lion then they eat the cat. If someone eats the bald eagle then they chase the cat.
The bald eagle chases the squirrel.
@0: The bald eagle chases the lion.[(triple1)] The bald eagle chases the squirrel.[(triple2)] The bald eagle eats the cat.[(triple3 OR ((triple1) -> rule2))] The bald eagle eats the squirrel.[(triple4)] The bald eagle is cold.[(triple5)] The bald eagle likes the cat.[(triple6)] The cat chases the bald eagle.[(triple7)] The cat chases the squirrel.[(triple8)] The cat is red.[(triple9)] The cat is young.[(triple10)] The lion eats the bald eagle.[(triple11)] The lion likes the bald eagle.[(triple12)] The squirrel chases the bald eagle.[(triple13)] The squirrel eats the cat.[(triple14)] The squirrel likes the bald eagle.[(triple15)] @1: The cat is cold.[(((triple9) -> rule1))] The lion chases the cat.[(((triple11) -> rule3))]