The bald eagle is kind. The bald eagle likes the cat. The bald eagle visits the mouse. The bald eagle visits the squirrel. The cat eats the mouse. The cat is kind. The cat visits the mouse. The cat visits the squirrel. The mouse eats the cat. The mouse eats the squirrel. The mouse visits the squirrel. The squirrel eats the cat. The squirrel eats the mouse. The squirrel is kind. The squirrel likes the cat. The squirrel visits the cat. If the bald eagle is cold then the bald eagle likes the cat. If the squirrel likes the mouse and the mouse likes the squirrel then the squirrel visits the bald eagle. All rough, red people are cold. If someone likes the cat and the cat eats the squirrel then the cat visits the squirrel. If someone likes the squirrel and the squirrel visits the bald eagle then the squirrel visits the mouse. If someone visits the mouse and the mouse eats the cat then the mouse likes the bald eagle.
The mouse is kind.
@0: The bald eagle is kind.[(triple1)] The bald eagle likes the cat.[(triple2)] The bald eagle visits the mouse.[(triple3)] The bald eagle visits the squirrel.[(triple4)] The cat eats the mouse.[(triple5)] The cat is kind.[(triple6)] The cat visits the mouse.[(triple7)] The cat visits the squirrel.[(triple8)] The mouse eats the cat.[(triple9)] The mouse eats the squirrel.[(triple10)] The mouse visits the squirrel.[(triple11)] The squirrel eats the cat.[(triple12)] The squirrel eats the mouse.[(triple13)] The squirrel is kind.[(triple14)] The squirrel likes the cat.[(triple15)] The squirrel visits the cat.[(triple16)] @1: The mouse likes the bald eagle.[(((triple3 triple9) -> rule6) OR ((triple7 triple9) -> rule6))]