The bald eagle eats the tiger. The bald eagle is nice. The bald eagle likes the bear. The bald eagle likes the tiger. The bald eagle visits the tiger. The bear eats the bald eagle. The bear eats the tiger. The bear is big. The bear is nice. The bear is rough. The bear likes the bald eagle. The bear visits the bald eagle. The tiger eats the bald eagle. The tiger eats the bear. The tiger likes the bald eagle. The tiger likes the bear. If something likes the bear then it visits the tiger. If something likes the tiger then it visits the bear. If the bear is nice and the bear visits the bald eagle then the bald eagle is big. If something eats the tiger and the tiger likes the bear then the tiger visits the bear. If something eats the tiger and the tiger eats the bald eagle then the tiger likes the bald eagle. If something is rough then it likes the bear.
The tiger eats the tiger.
@0: The bald eagle eats the tiger.[(triple1)] The bald eagle is nice.[(triple2)] The bald eagle likes the bear.[(triple3)] The bald eagle likes the tiger.[(triple4)] The bald eagle visits the tiger.[(triple5 OR ((triple3) -> rule1))] The bear eats the bald eagle.[(triple6)] The bear eats the tiger.[(triple7)] The bear is big.[(triple8)] The bear is nice.[(triple9)] The bear is rough.[(triple10)] The bear likes the bald eagle.[(triple11)] The bear visits the bald eagle.[(triple12)] The tiger eats the bald eagle.[(triple13)] The tiger eats the bear.[(triple14)] The tiger likes the bald eagle.[(triple15 OR ((triple1 triple13) -> rule5) OR ((triple7 triple13) -> rule5))] The tiger likes the bear.[(triple16)] @1: The bald eagle is big.[(((triple9 triple12) -> rule3))] The bald eagle visits the bear.[(((triple4) -> rule2))] The bear likes the bear.[(((triple10) -> rule6))] The tiger visits the bear.[(((triple1 triple16) -> rule4) OR ((triple7 triple16) -> rule4))] The tiger visits the tiger.[(((triple16) -> rule1))] @2: The bear visits the tiger.[(((((triple10) -> rule6)) -> rule1))]