The bald eagle eats the cat. The bald eagle is blue. The cat visits the bald eagle. The lion eats the bald eagle. The lion eats the cat. The lion eats the tiger. The lion sees the bald eagle. The lion sees the cat. The lion visits the bald eagle. The lion visits the tiger. The tiger eats the lion. The tiger sees the cat. If someone eats the cat and they eat the tiger then the tiger is rough. If the lion sees the tiger then the lion eats the bald eagle. If someone sees the cat then they eat the cat. If someone eats the lion then the lion visits the bald eagle. If someone is green then they eat the lion. If the lion eats the cat and the lion visits the bald eagle then the lion eats the tiger.
The lion does not visit the bald eagle.
@0: The bald eagle eats the cat.[(triple1)] The bald eagle is blue.[(triple2)] The cat visits the bald eagle.[(triple3)] The lion eats the bald eagle.[(triple4)] The lion eats the cat.[(triple5 OR ((triple8) -> rule3))] The lion eats the tiger.[(triple6 OR ((triple5 triple9) -> rule6) OR ((triple5 ((triple11) -> rule4)) -> rule6) OR ((((triple8) -> rule3) triple9) -> rule6) OR ((((triple8) -> rule3) ((triple11) -> rule4)) -> rule6))] The lion sees the bald eagle.[(triple7)] The lion sees the cat.[(triple8)] The lion visits the bald eagle.[(triple9 OR ((triple11) -> rule4))] The lion visits the tiger.[(triple10)] The tiger eats the lion.[(triple11)] The tiger sees the cat.[(triple12)] @1: The tiger eats the cat.[(((triple12) -> rule3))] The tiger is rough.[(((triple5 triple6) -> rule1) OR ((triple5 ((triple5 triple9) -> rule6)) -> rule1) OR ((((triple8) -> rule3) triple6) -> rule1) OR ((((triple8) -> rule3) ((triple5 triple9) -> rule6)) -> rule1) OR ((triple5 ((triple5 ((triple11) -> rule4)) -> rule6)) -> rule1) OR ((triple5 ((((triple8) -> rule3) triple9) -> rule6)) -> rule1) OR ((triple5 ((((triple8) -> rule3) ((triple11) -> rule4)) -> rule6)) -> rule1) OR ((((triple8) -> rule3) ((triple5 ((triple11) -> rule4)) -> rule6)) -> rule1) OR ((((triple8) -> rule3) ((((triple8) -> rule3) triple9) -> rule6)) -> rule1) OR ((((triple8) -> rule3) ((((triple8) -> rule3) ((triple11) -> rule4)) -> rule6)) -> rule1))]