The bald eagle chases the cat. The bald eagle visits the rabbit. The cat is green. The cat is kind. The cat likes the rabbit. The mouse chases the cat. The mouse likes the bald eagle. The mouse likes the cat. The mouse visits the rabbit. The rabbit likes the cat. If someone likes the cat then the cat visits the mouse. If someone visits the mouse and they like the cat then the mouse visits the bald eagle. If someone likes the bald eagle and the bald eagle visits the mouse then the bald eagle chases the mouse. If the bald eagle likes the cat then the bald eagle is cold. If someone visits the bald eagle and they chase the bald eagle then the bald eagle chases the cat. If someone chases the cat then they like the cat. If someone is blue and kind then they like the rabbit. If someone likes the cat and they chase the mouse then they like the bald eagle. If someone is cold then they visit the mouse.
The bald eagle does not like the rabbit.
@0: The bald eagle chases the cat.[(triple1)] The bald eagle visits the rabbit.[(triple2)] The cat is green.[(triple3)] The cat is kind.[(triple4)] The cat likes the rabbit.[(triple5)] The mouse chases the cat.[(triple6)] The mouse likes the bald eagle.[(triple7)] The mouse likes the cat.[(triple8 OR ((triple6) -> rule6))] The mouse visits the rabbit.[(triple9)] The rabbit likes the cat.[(triple10)] @1: The bald eagle likes the cat.[(((triple1) -> rule6))] The cat visits the mouse.[(((triple10) -> rule1) OR ((triple8) -> rule1) OR ((((triple1) -> rule6)) -> rule1) OR ((((triple6) -> rule6)) -> rule1))] @2: The bald eagle is cold.[(((((triple1) -> rule6)) -> rule4))] @3: The bald eagle visits the mouse.[(((((((triple1) -> rule6)) -> rule4)) -> rule9))] @4: The bald eagle chases the mouse.[(((triple7 ((((((triple1) -> rule6)) -> rule4)) -> rule9)) -> rule3))] The mouse visits the bald eagle.[(((((((((triple1) -> rule6)) -> rule4)) -> rule9) ((triple1) -> rule6)) -> rule2))] @5: The bald eagle likes the bald eagle.[(((((triple1) -> rule6) ((triple7 ((((((triple1) -> rule6)) -> rule4)) -> rule9)) -> rule3)) -> rule8))]