The bear needs the mouse. The cat is nice. The cat needs the rabbit. The mouse is nice. The mouse sees the cat. The rabbit eats the bear. The rabbit needs the mouse. If someone needs the rabbit then they need the mouse. Cold people are nice. If someone needs the rabbit then they need the cat. If someone sees the rabbit and they are cold then the rabbit is rough. If the cat eats the rabbit and the rabbit eats the mouse then the mouse needs the rabbit. If someone is red then they need the bear. If someone eats the mouse and they are blue then the mouse is red. If someone needs the mouse then they are red.
The mouse is not blue.
@0: The bear needs the mouse.[(triple1)] The cat is nice.[(triple2)] The cat needs the rabbit.[(triple3)] The mouse is nice.[(triple4)] The mouse sees the cat.[(triple5)] The rabbit eats the bear.[(triple6)] The rabbit needs the mouse.[(triple7)] @1: The bear is red.[(((triple1) -> rule8))] The cat needs the cat.[(((triple3) -> rule3))] The cat needs the mouse.[(((triple3) -> rule1))] The rabbit is red.[(((triple7) -> rule8))] @2: The bear needs the bear.[(((((triple1) -> rule8)) -> rule6))] The cat is red.[(((((triple3) -> rule1)) -> rule8))] The rabbit needs the bear.[(((((triple7) -> rule8)) -> rule6))] @3: The cat needs the bear.[(((((((triple3) -> rule1)) -> rule8)) -> rule6))]