The bald eagle is cold. The bald eagle is kind. The bald eagle needs the cat. The bald eagle needs the mouse. The cat is red. The cat is round. The cat likes the squirrel. The cat needs the bald eagle. The cat needs the squirrel. The cat sees the bald eagle. The mouse sees the squirrel. The squirrel is green. If someone sees the cat then they are kind. If someone needs the bald eagle then they like the mouse. If someone needs the mouse then the mouse is round.
The bald eagle is cold.
@0: The bald eagle is cold.[(triple1)] The bald eagle is kind.[(triple2)] The bald eagle needs the cat.[(triple3)] The bald eagle needs the mouse.[(triple4)] The cat is red.[(triple5)] The cat is round.[(triple6)] The cat likes the squirrel.[(triple7)] The cat needs the bald eagle.[(triple8)] The cat needs the squirrel.[(triple9)] The cat sees the bald eagle.[(triple10)] The mouse sees the squirrel.[(triple11)] The squirrel is green.[(triple12)] @1: The cat likes the mouse.[(((triple8) -> rule2))] The mouse is round.[(((triple4) -> rule3))]