The bald eagle chases the tiger. The bald eagle is blue. The bald eagle needs the cat. The bald eagle needs the mouse. The cat chases the mouse. The cat chases the tiger. The cat is blue. The cat likes the mouse. The mouse chases the cat. The mouse is nice. The tiger chases the mouse. The tiger is blue. The tiger is cold. The tiger is red. The tiger likes the mouse. The tiger needs the bald eagle. If someone chases the mouse then they need the bald eagle. If the cat needs the bald eagle then the bald eagle chases the mouse. If someone needs the mouse then they are rough.
The tiger is not blue.
@0: The bald eagle chases the tiger.[(triple1)] The bald eagle is blue.[(triple2)] The bald eagle needs the cat.[(triple3)] The bald eagle needs the mouse.[(triple4)] The cat chases the mouse.[(triple5)] The cat chases the tiger.[(triple6)] The cat is blue.[(triple7)] The cat likes the mouse.[(triple8)] The mouse chases the cat.[(triple9)] The mouse is nice.[(triple10)] The tiger chases the mouse.[(triple11)] The tiger is blue.[(triple12)] The tiger is cold.[(triple13)] The tiger is red.[(triple14)] The tiger likes the mouse.[(triple15)] The tiger needs the bald eagle.[(triple16 OR ((triple11) -> rule1))] @1: The bald eagle is rough.[(((triple4) -> rule3))] The cat needs the bald eagle.[(((triple5) -> rule1))] @2: The bald eagle chases the mouse.[(((((triple5) -> rule1)) -> rule2))] @3: The bald eagle needs the bald eagle.[(((((((triple5) -> rule1)) -> rule2)) -> rule1))]