The bald eagle sees the mouse. The bear is kind. The bear is young. The cat likes the bear. The cat does not like the mouse. The cat visits the bald eagle. The cat visits the mouse. The mouse is kind. The mouse likes the cat. The mouse sees the bald eagle. The mouse does not see the bear. The mouse does not visit the cat. If someone is young then they are red.
The bear is not red.
@0: The bald eagle sees the mouse.[(triple1)] The bear is kind.[(triple2)] The bear is young.[(triple3)] The cat does not like the mouse.[(triple5)] The cat likes the bear.[(triple4)] The cat visits the bald eagle.[(triple6)] The cat visits the mouse.[(triple7)] The mouse does not see the bear.[(triple11)] The mouse does not visit the cat.[(triple12)] The mouse is kind.[(triple8)] The mouse likes the cat.[(triple9)] The mouse sees the bald eagle.[(triple10)] @1: The bear is red.[(((triple3) -> rule1))]