The bald eagle chases the cat. The bald eagle eats the bear. The bald eagle eats the cat. The bald eagle is cold. The bear is green. The bear sees the cat. The cat chases the bald eagle. The cat sees the lion. The lion is rough. The lion is young. The lion sees the bear. The lion sees the cat. If someone chases the cat then they eat the bald eagle. If someone sees the lion then the lion eats the cat. If someone is cold then they chase the bear. If someone eats the bear then they chase the bear. If someone sees the cat and they are cold then the cat sees the bald eagle. If someone is rough and they chase the cat then they chase the bald eagle. If someone eats the bear then they eat the lion. If someone sees the cat then they see the lion.
The cat is cold.
@0: The bald eagle chases the cat.[(triple1)] The bald eagle eats the bear.[(triple2)] The bald eagle eats the cat.[(triple3)] The bald eagle is cold.[(triple4)] The bear is green.[(triple5)] The bear sees the cat.[(triple6)] The cat chases the bald eagle.[(triple7)] The cat sees the lion.[(triple8)] The lion is rough.[(triple9)] The lion is young.[(triple10)] The lion sees the bear.[(triple11)] The lion sees the cat.[(triple12)] @1: The bald eagle chases the bear.[(((triple2) -> rule4) OR ((triple4) -> rule3))] The bald eagle eats the bald eagle.[(((triple1) -> rule1))] The bald eagle eats the lion.[(((triple2) -> rule7))] The bear sees the lion.[(((triple6) -> rule8))] The lion eats the cat.[(((triple8) -> rule2) OR ((((triple12) -> rule8)) -> rule2) OR ((((triple6) -> rule8)) -> rule2))] The lion sees the lion.[(((triple12) -> rule8))]