The bald eagle is not nice. The bald eagle is round. The bald eagle needs the mouse. The bald eagle needs the tiger. The cat is blue. The cat is red. The mouse does not chase the cat. The mouse is cold. The mouse likes the bald eagle. The mouse needs the cat. The tiger chases the cat. The tiger is not cold. The tiger is not nice. The tiger is not round. The tiger does not like the bald eagle. The tiger likes the cat. If someone is cold and they need the tiger then the tiger needs the bald eagle. If someone chases the bald eagle and they like the cat then the bald eagle chases the tiger. If someone is cold and blue then they do not chase the mouse. If someone is blue then they chase the mouse. If someone chases the mouse then the mouse needs the tiger. If someone likes the bald eagle and the bald eagle is nice then they like the tiger. If someone chases the bald eagle and they do not like the mouse then the bald eagle needs the mouse. If someone is nice then they chase the tiger.
The tiger does not need the bald eagle.
@0: The bald eagle is not nice.[(triple1)] The bald eagle is round.[(triple2)] The bald eagle needs the mouse.[(triple3)] The bald eagle needs the tiger.[(triple4)] The cat is blue.[(triple5)] The cat is red.[(triple6)] The mouse does not chase the cat.[(triple7)] The mouse is cold.[(triple8)] The mouse likes the bald eagle.[(triple9)] The mouse needs the cat.[(triple10)] The tiger chases the cat.[(triple11)] The tiger does not like the bald eagle.[(triple15)] The tiger is not cold.[(triple12)] The tiger is not nice.[(triple13)] The tiger is not round.[(triple14)] The tiger likes the cat.[(triple16)] @1: The cat chases the mouse.[(((triple5) -> rule4))] @2: The mouse needs the tiger.[(((((triple5) -> rule4)) -> rule5))] @3: The tiger needs the bald eagle.[(((triple8 ((((triple5) -> rule4)) -> rule5)) -> rule1))]