The bald eagle chases the squirrel. The bald eagle is cold. The cat does not chase the mouse. The cat is young. The cat sees the bald eagle. The cat sees the mouse. The mouse eats the bald eagle. The mouse eats the squirrel. The mouse is round. The mouse sees the bald eagle. The squirrel chases the cat. If the bald eagle is cold and the bald eagle does not chase the squirrel then the bald eagle is nice. If someone eats the cat then they are cold. If someone eats the cat and the cat is cold then they are kind. If the mouse eats the bald eagle then the mouse is cold. If someone eats the cat then the cat is cold. Cold, kind people are not nice. If someone chases the squirrel and the squirrel does not chase the cat then the squirrel chases the bald eagle. If someone is cold then they eat the cat. If someone chases the squirrel and they do not chase the bald eagle then the bald eagle does not chase the cat.
The mouse does not see the bald eagle.
@0: The bald eagle chases the squirrel.[(triple1)] The bald eagle is cold.[(triple2)] The cat does not chase the mouse.[(triple3)] The cat is young.[(triple4)] The cat sees the bald eagle.[(triple5)] The cat sees the mouse.[(triple6)] The mouse eats the bald eagle.[(triple7)] The mouse eats the squirrel.[(triple8)] The mouse is round.[(triple9)] The mouse sees the bald eagle.[(triple10)] The squirrel chases the cat.[(triple11)] @1: The bald eagle eats the cat.[(((triple2) -> rule8))] The mouse is cold.[(((triple7) -> rule4))] @2: The cat is cold.[(((((triple2) -> rule8)) -> rule5) OR ((((((triple7) -> rule4)) -> rule8)) -> rule5))] The mouse eats the cat.[(((((triple7) -> rule4)) -> rule8))] @3: The bald eagle is kind.[(((((triple2) -> rule8) ((((triple2) -> rule8)) -> rule5)) -> rule3) OR ((((triple2) -> rule8) ((((((triple7) -> rule4)) -> rule8)) -> rule5)) -> rule3))] The cat eats the cat.[(((((((triple2) -> rule8)) -> rule5)) -> rule8) OR ((((((((triple7) -> rule4)) -> rule8)) -> rule5)) -> rule8))] The mouse is kind.[(((((((triple7) -> rule4)) -> rule8) ((((triple2) -> rule8)) -> rule5)) -> rule3) OR ((((((triple7) -> rule4)) -> rule8) ((((((triple7) -> rule4)) -> rule8)) -> rule5)) -> rule3))] @4: The bald eagle is not nice.[(((triple2 ((((triple2) -> rule8) ((((triple2) -> rule8)) -> rule5)) -> rule3)) -> rule6) OR ((triple2 ((((triple2) -> rule8) ((((((triple7) -> rule4)) -> rule8)) -> rule5)) -> rule3)) -> rule6))] The cat is kind.[(((((((((triple2) -> rule8)) -> rule5)) -> rule8) ((((triple2) -> rule8)) -> rule5)) -> rule3) OR ((((((((triple2) -> rule8)) -> rule5)) -> rule8) ((((((triple7) -> rule4)) -> rule8)) -> rule5)) -> rule3) OR ((((((((((triple7) -> rule4)) -> rule8)) -> rule5)) -> rule8) ((((triple2) -> rule8)) -> rule5)) -> rule3) OR ((((((((((triple7) -> rule4)) -> rule8)) -> rule5)) -> rule8) ((((((triple7) -> rule4)) -> rule8)) -> rule5)) -> rule3))] The mouse is not nice.[(((((triple7) -> rule4) ((((((triple7) -> rule4)) -> rule8) ((((triple2) -> rule8)) -> rule5)) -> rule3)) -> rule6) OR ((((triple7) -> rule4) ((((((triple7) -> rule4)) -> rule8) ((((((triple7) -> rule4)) -> rule8)) -> rule5)) -> rule3)) -> rule6))] @5: The cat is not nice.[(((((((triple2) -> rule8)) -> rule5) ((((((((triple2) -> rule8)) -> rule5)) -> rule8) ((((triple2) -> rule8)) -> rule5)) -> rule3)) -> rule6) OR ((((((triple2) -> rule8)) -> rule5) ((((((((triple2) -> rule8)) -> rule5)) -> rule8) ((((((triple7) -> rule4)) -> rule8)) -> rule5)) -> rule3)) -> rule6) OR ((((((((triple7) -> rule4)) -> rule8)) -> rule5) ((((((((triple2) -> rule8)) -> rule5)) -> rule8) ((((triple2) -> rule8)) -> rule5)) -> rule3)) -> rule6) OR ((((((((triple7) -> rule4)) -> rule8)) -> rule5) ((((((((triple2) -> rule8)) -> rule5)) -> rule8) ((((((triple7) -> rule4)) -> rule8)) -> rule5)) -> rule3)) -> rule6) OR ((((((triple2) -> rule8)) -> rule5) ((((((((((triple7) -> rule4)) -> rule8)) -> rule5)) -> rule8) ((((triple2) -> rule8)) -> rule5)) -> rule3)) -> rule6) OR ((((((triple2) -> rule8)) -> rule5) ((((((((((triple7) -> rule4)) -> rule8)) -> rule5)) -> rule8) ((((((triple7) -> rule4)) -> rule8)) -> rule5)) -> rule3)) -> rule6) OR ((((((((triple7) -> rule4)) -> rule8)) -> rule5) ((((((((((triple7) -> rule4)) -> rule8)) -> rule5)) -> rule8) ((((triple2) -> rule8)) -> rule5)) -> rule3)) -> rule6) OR ((((((((triple7) -> rule4)) -> rule8)) -> rule5) ((((((((((triple7) -> rule4)) -> rule8)) -> rule5)) -> rule8) ((((((triple7) -> rule4)) -> rule8)) -> rule5)) -> rule3)) -> rule6))]