The bald eagle likes the lion. The bald eagle likes the tiger. The dog is nice. The dog likes the bald eagle. The dog sees the lion. The dog visits the bald eagle. The dog visits the lion. The lion likes the dog. The lion likes the tiger. The lion visits the tiger. The tiger is nice. The tiger sees the dog. If someone is red then they see the bald eagle. If the lion sees the bald eagle then the lion visits the bald eagle. If someone likes the dog then they are rough. If someone is rough and they visit the tiger then they see the bald eagle. If someone visits the dog then they are green. If someone visits the bald eagle then they are nice.
The bald eagle is not green.
@0: The bald eagle likes the lion.[(triple1)] The bald eagle likes the tiger.[(triple2)] The dog is nice.[(triple3 OR ((triple6) -> rule6))] The dog likes the bald eagle.[(triple4)] The dog sees the lion.[(triple5)] The dog visits the bald eagle.[(triple6)] The dog visits the lion.[(triple7)] The lion likes the dog.[(triple8)] The lion likes the tiger.[(triple9)] The lion visits the tiger.[(triple10)] The tiger is nice.[(triple11)] The tiger sees the dog.[(triple12)] @1: The lion is rough.[(((triple8) -> rule3))] @2: The lion sees the bald eagle.[(((((triple8) -> rule3) triple10) -> rule4))] @3: The lion visits the bald eagle.[(((((((triple8) -> rule3) triple10) -> rule4)) -> rule2))] @4: The lion is nice.[(((((((((triple8) -> rule3) triple10) -> rule4)) -> rule2)) -> rule6))]