The bald eagle is blue. The bald eagle is red. The bald eagle likes the lion. The bald eagle sees the lion. The lion chases the bald eagle. The lion is big. The lion is blue. The lion is cold. The lion is young. The lion sees the bald eagle. If the bald eagle chases the lion then the lion likes the bald eagle. If someone likes the lion then the lion is red. If someone likes the lion and the lion chases the bald eagle then the lion is big. If someone sees the lion and the lion chases the bald eagle then the bald eagle likes the lion. If someone chases the lion then they are blue. If someone sees the lion then they are red.
The bald eagle does not like the lion.
@0: The bald eagle is blue.[(triple1)] The bald eagle is red.[(triple2 OR ((triple4) -> rule6))] The bald eagle likes the lion.[(triple3 OR ((triple4 triple5) -> rule4))] The bald eagle sees the lion.[(triple4)] The lion chases the bald eagle.[(triple5)] The lion is big.[(triple6 OR ((triple3 triple5) -> rule3) OR ((((triple4 triple5) -> rule4) triple5) -> rule3))] The lion is blue.[(triple7)] The lion is cold.[(triple8)] The lion is young.[(triple9)] The lion sees the bald eagle.[(triple10)] @1: The lion is red.[(((triple3) -> rule2) OR ((((triple4 triple5) -> rule4)) -> rule2))]