The bald eagle chases the lion. The bald eagle eats the lion. The bald eagle is green. The bald eagle likes the lion. The lion chases the bald eagle. The lion eats the bald eagle. The lion is green. The lion is kind. The lion is red. The lion is round. The lion is young. The lion likes the bald eagle. If something is red and it likes the bald eagle then it is green. If something likes the lion and the lion chases the bald eagle then it eats the lion. If something is round and it eats the bald eagle then the bald eagle chases the lion.
The lion does not eat the lion.
@0: The bald eagle chases the lion.[(triple1 OR ((triple10 triple6) -> rule3))] The bald eagle eats the lion.[(triple2 OR ((triple4 triple5) -> rule2))] The bald eagle is green.[(triple3)] The bald eagle likes the lion.[(triple4)] The lion chases the bald eagle.[(triple5)] The lion eats the bald eagle.[(triple6)] The lion is green.[(triple7 OR ((triple9 triple12) -> rule1))] The lion is kind.[(triple8)] The lion is red.[(triple9)] The lion is round.[(triple10)] The lion is young.[(triple11)] The lion likes the bald eagle.[(triple12)]