The bald eagle chases the tiger. The bald eagle is red. The bald eagle is rough. The tiger chases the bald eagle. The tiger is nice. The tiger is rough. The tiger sees the bald eagle. If the tiger sees the bald eagle and the bald eagle chases the tiger then the tiger is red. If something chases the tiger and the tiger needs the bald eagle then it sees the tiger. If the tiger needs the bald eagle and the bald eagle sees the tiger then the tiger is round. If something sees the bald eagle then the bald eagle sees the tiger. If something is big and it needs the tiger then it sees the tiger. If something is nice then it chases the bald eagle. If the tiger sees the bald eagle and the tiger chases the bald eagle then the bald eagle needs the tiger. If something sees the tiger then it sees the bald eagle.
The bald eagle is not rough.
@0: The bald eagle chases the tiger.[(triple1)] The bald eagle is red.[(triple2)] The bald eagle is rough.[(triple3)] The tiger chases the bald eagle.[(triple4 OR ((triple5) -> rule6))] The tiger is nice.[(triple5)] The tiger is rough.[(triple6)] The tiger sees the bald eagle.[(triple7)] @1: The bald eagle needs the tiger.[(((triple7 triple4) -> rule7) OR ((triple7 ((triple5) -> rule6)) -> rule7))] The bald eagle sees the tiger.[(((triple7) -> rule4))] The tiger is red.[(((triple7 triple1) -> rule1))] @2: The bald eagle sees the bald eagle.[(((((triple7) -> rule4)) -> rule8))]