The cat chases the squirrel. The cat is not green. The cat needs the mouse. The mouse chases the cat. The mouse is nice. The mouse is rough. The mouse likes the cat. The mouse likes the squirrel. The squirrel is rough. The squirrel needs the cat. If something chases the squirrel then it chases the mouse. If something chases the mouse and the mouse is not rough then the mouse chases the squirrel. If the squirrel is green then the squirrel needs the cat. If something chases the mouse then it does not like the mouse. If something needs the mouse then it chases the cat. If the mouse likes the squirrel and the mouse is rough then the mouse needs the squirrel. If something likes the squirrel and it does not like the mouse then the mouse likes the squirrel. If something needs the squirrel then the squirrel needs the mouse.
The squirrel does not need the mouse.
@0: The cat chases the squirrel.[(triple1)] The cat is not green.[(triple2)] The cat needs the mouse.[(triple3)] The mouse chases the cat.[(triple4)] The mouse is nice.[(triple5)] The mouse is rough.[(triple6)] The mouse likes the cat.[(triple7)] The mouse likes the squirrel.[(triple8)] The squirrel is rough.[(triple9)] The squirrel needs the cat.[(triple10)] @1: The cat chases the cat.[(((triple3) -> rule5))] The cat chases the mouse.[(((triple1) -> rule1))] The mouse needs the squirrel.[(((triple8 triple6) -> rule6))] @2: The cat does not like the mouse.[(((((triple1) -> rule1)) -> rule4))] The squirrel needs the mouse.[(((((triple8 triple6) -> rule6)) -> rule8))] @3: The squirrel chases the cat.[(((((((triple8 triple6) -> rule6)) -> rule8)) -> rule5))]