The bald eagle chases the dog. The bald eagle chases the tiger. The bald eagle needs the tiger. The dog chases the tiger. The dog does not like the squirrel. The dog needs the squirrel. The squirrel chases the dog. The squirrel is young. The squirrel likes the tiger. The tiger is not cold. The tiger does not like the dog. The tiger needs the squirrel. If someone likes the tiger and they need the tiger then the tiger is young. If someone needs the squirrel and the squirrel needs the bald eagle then the bald eagle needs the dog. If someone needs the tiger then they are not cold. If someone is young and they need the bald eagle then they need the tiger. If someone is young then they need the bald eagle. If the dog chases the bald eagle and the dog does not need the tiger then the tiger is not red.
The bald eagle is cold.
@0: The bald eagle chases the dog.[(triple1)] The bald eagle chases the tiger.[(triple2)] The bald eagle needs the tiger.[(triple3)] The dog chases the tiger.[(triple4)] The dog does not like the squirrel.[(triple5)] The dog needs the squirrel.[(triple6)] The squirrel chases the dog.[(triple7)] The squirrel is young.[(triple8)] The squirrel likes the tiger.[(triple9)] The tiger does not like the dog.[(triple11)] The tiger is not cold.[(triple10 OR ((((((triple9 ((triple8 ((triple8) -> rule5)) -> rule4)) -> rule1) ((((triple9 ((triple8 ((triple8) -> rule5)) -> rule4)) -> rule1)) -> rule5)) -> rule4)) -> rule3))] The tiger needs the squirrel.[(triple12)] @1: The bald eagle is not cold.[(((triple3) -> rule3))] The squirrel needs the bald eagle.[(((triple8) -> rule5))] @2: The bald eagle needs the dog.[(((triple12 ((triple8) -> rule5)) -> rule2) OR ((triple6 ((triple8) -> rule5)) -> rule2))] The squirrel needs the tiger.[(((triple8 ((triple8) -> rule5)) -> rule4))] @3: The squirrel is not cold.[(((((triple8 ((triple8) -> rule5)) -> rule4)) -> rule3))] The tiger is young.[(((triple9 ((triple8 ((triple8) -> rule5)) -> rule4)) -> rule1))] @4: The tiger needs the bald eagle.[(((((triple9 ((triple8 ((triple8) -> rule5)) -> rule4)) -> rule1)) -> rule5))] @5: The tiger needs the tiger.[(((((triple9 ((triple8 ((triple8) -> rule5)) -> rule4)) -> rule1) ((((triple9 ((triple8 ((triple8) -> rule5)) -> rule4)) -> rule1)) -> rule5)) -> rule4))]