The bald eagle does not chase the lion. The bald eagle does not eat the squirrel. The bald eagle is big. The bald eagle is cold. The bald eagle is red. The bald eagle sees the squirrel. The lion chases the bald eagle. The lion eats the bald eagle. The lion is not round. The lion sees the bald eagle. The lion sees the squirrel. The squirrel chases the bald eagle. The squirrel chases the lion. The squirrel does not chase the tiger. The squirrel is cold. The tiger eats the squirrel. If someone sees the squirrel then the squirrel is red. If the bald eagle chases the lion and the bald eagle does not see the lion then the lion is cold. If someone is red and they chase the bald eagle then the bald eagle eats the lion.
The tiger is not big.
@0: The bald eagle does not chase the lion.[(triple1)] The bald eagle does not eat the squirrel.[(triple2)] The bald eagle is big.[(triple3)] The bald eagle is cold.[(triple4)] The bald eagle is red.[(triple5)] The bald eagle sees the squirrel.[(triple6)] The lion chases the bald eagle.[(triple7)] The lion eats the bald eagle.[(triple8)] The lion is not round.[(triple9)] The lion sees the bald eagle.[(triple10)] The lion sees the squirrel.[(triple11)] The squirrel chases the bald eagle.[(triple12)] The squirrel chases the lion.[(triple13)] The squirrel does not chase the tiger.[(triple14)] The squirrel is cold.[(triple15)] The tiger eats the squirrel.[(triple16)] @1: The squirrel is red.[(((triple11) -> rule1) OR ((triple6) -> rule1))] @2: The bald eagle eats the lion.[(((((triple11) -> rule1) triple12) -> rule3) OR ((((triple6) -> rule1) triple12) -> rule3))]