The bald eagle is big. The bald eagle is green. The bald eagle is red. The bald eagle is rough. The bald eagle sees the dog. The dog sees the bald eagle. The lion chases the dog. The lion is green. The lion is rough. The lion sees the bald eagle. If the bald eagle chases the dog then the bald eagle chases the lion. If something sees the dog then it is red. If the bald eagle visits the dog then the dog visits the lion. If something is cold and it sees the lion then it visits the lion. If something chases the bald eagle then it visits the bald eagle. If something chases the lion then the lion visits the dog. If something chases the dog then it sees the dog. If something chases the bald eagle and the bald eagle sees the dog then it sees the lion.
The bald eagle is not rough.
@0: The bald eagle is big.[(triple1)] The bald eagle is green.[(triple2)] The bald eagle is red.[(triple3 OR ((triple5) -> rule2))] The bald eagle is rough.[(triple4)] The bald eagle sees the dog.[(triple5)] The dog sees the bald eagle.[(triple6)] The lion chases the dog.[(triple7)] The lion is green.[(triple8)] The lion is rough.[(triple9)] The lion sees the bald eagle.[(triple10)] @1: The lion sees the dog.[(((triple7) -> rule7))] @2: The lion is red.[(((((triple7) -> rule7)) -> rule2))]