The bear does not need the mouse. The cat needs the bear. The cow is rough. The mouse needs the cat. If the bear visits the cat then the bear needs the cow. If the bear is rough and the bear likes the cow then the cow does not need the mouse. If someone needs the bear then the bear visits the cat. If someone needs the cow then they need the bear. If someone likes the bear then the bear likes the mouse. If someone visits the bear then the bear is blue.
The bear needs the mouse.
@0: The bear does not need the mouse.[(triple1)] The cat needs the bear.[(triple2)] The cow is rough.[(triple3)] The mouse needs the cat.[(triple4)] @1: The bear visits the cat.[(((triple2) -> rule3))] @2: The bear needs the cow.[(((((triple2) -> rule3)) -> rule1))] @3: The bear needs the bear.[(((((((triple2) -> rule3)) -> rule1)) -> rule4))]