The bald eagle is blue. The bear needs the mouse. The bear sees the bald eagle. The cat is blue. The cat is red. The cat is young. The cat needs the bear. The cat needs the mouse. The cat visits the mouse. The mouse is big. The mouse is red. The mouse needs the cat. The mouse sees the bald eagle. The mouse sees the cat. The mouse visits the bald eagle. If something needs the cat then it needs the mouse. If something visits the bear then it is young. If something needs the bear then the bear sees the mouse. All round things are red. If something sees the mouse then it is young. If something sees the mouse and it is young then it is round.
The bear does not see the bald eagle.
@0: The bald eagle is blue.[(triple1)] The bear needs the mouse.[(triple2)] The bear sees the bald eagle.[(triple3)] The cat is blue.[(triple4)] The cat is red.[(triple5)] The cat is young.[(triple6)] The cat needs the bear.[(triple7)] The cat needs the mouse.[(triple8)] The cat visits the mouse.[(triple9)] The mouse is big.[(triple10)] The mouse is red.[(triple11)] The mouse needs the cat.[(triple12)] The mouse sees the bald eagle.[(triple13)] The mouse sees the cat.[(triple14)] The mouse visits the bald eagle.[(triple15)] @1: The bear sees the mouse.[(((triple7) -> rule3))] The mouse needs the mouse.[(((triple12) -> rule1))] @2: The bear is young.[(((((triple7) -> rule3)) -> rule5))] @3: The bear is round.[(((((triple7) -> rule3) ((((triple7) -> rule3)) -> rule5)) -> rule6))] @4: The bear is red.[(((((((triple7) -> rule3) ((((triple7) -> rule3)) -> rule5)) -> rule6)) -> rule4))]