The bald eagle chases the tiger. The bald eagle is big. The bald eagle is blue. The bald eagle is green. The bald eagle is red. The bald eagle likes the tiger. The bald eagle visits the tiger. The tiger chases the bald eagle. The tiger is big. The tiger is blue. The tiger is green. The tiger is red. The tiger is rough. The tiger likes the bald eagle. The tiger visits the bald eagle. If someone is rough then they visit the bald eagle. Green people are rough.
The bald eagle is not rough.
@0: The bald eagle chases the tiger.[(triple1)] The bald eagle is big.[(triple2)] The bald eagle is blue.[(triple3)] The bald eagle is green.[(triple4)] The bald eagle is red.[(triple5)] The bald eagle likes the tiger.[(triple6)] The bald eagle visits the tiger.[(triple7)] The tiger chases the bald eagle.[(triple8)] The tiger is big.[(triple9)] The tiger is blue.[(triple10)] The tiger is green.[(triple11)] The tiger is red.[(triple12)] The tiger is rough.[(triple13 OR ((triple11) -> rule2))] The tiger likes the bald eagle.[(triple14)] The tiger visits the bald eagle.[(triple15 OR ((triple13) -> rule1) OR ((((triple11) -> rule2)) -> rule1))] @1: The bald eagle is rough.[(((triple4) -> rule2))] @2: The bald eagle visits the bald eagle.[(((((triple4) -> rule2)) -> rule1))]