The bald eagle chases the cat. The bald eagle chases the mouse. The bald eagle likes the cat. The bald eagle needs the cat. The cat chases the mouse. The cat is big. The cat is blue. The cat likes the mouse. The lion likes the mouse. The mouse chases the cat. If something likes the mouse then the mouse is cold. If the cat needs the lion and the cat chases the lion then the lion likes the mouse. If something is cold then it needs the bald eagle. If something needs the mouse then the mouse chases the cat. If something likes the bald eagle then the bald eagle is cold. If something is big and it likes the mouse then the mouse chases the lion.
The lion is not cold.
@0: The bald eagle chases the cat.[(triple1)] The bald eagle chases the mouse.[(triple2)] The bald eagle likes the cat.[(triple3)] The bald eagle needs the cat.[(triple4)] The cat chases the mouse.[(triple5)] The cat is big.[(triple6)] The cat is blue.[(triple7)] The cat likes the mouse.[(triple8)] The lion likes the mouse.[(triple9)] The mouse chases the cat.[(triple10)] @1: The mouse chases the lion.[(((triple6 triple8) -> rule6))] The mouse is cold.[(((triple8) -> rule1) OR ((triple9) -> rule1))] @2: The mouse needs the bald eagle.[(((((triple8) -> rule1)) -> rule3) OR ((((triple9) -> rule1)) -> rule3))]