The bear is green. The bear is nice. The bear is red. The bear likes the cat. The bear likes the mouse. The bear needs the cat. The bear needs the mouse. The bear visits the mouse. The cat likes the mouse. The cat visits the bear. The mouse is big. The mouse is green. The mouse is nice. The mouse is red. The mouse likes the cat. The mouse needs the bear. If the mouse likes the bear then the mouse needs the cat. If something is red then it likes the bear. If something visits the mouse then it needs the bear.
The cat does not need the mouse.
@0: The bear is green.[(triple1)] The bear is nice.[(triple2)] The bear is red.[(triple3)] The bear likes the cat.[(triple4)] The bear likes the mouse.[(triple5)] The bear needs the cat.[(triple6)] The bear needs the mouse.[(triple7)] The bear visits the mouse.[(triple8)] The cat likes the mouse.[(triple9)] The cat visits the bear.[(triple10)] The mouse is big.[(triple11)] The mouse is green.[(triple12)] The mouse is nice.[(triple13)] The mouse is red.[(triple14)] The mouse likes the cat.[(triple15)] The mouse needs the bear.[(triple16)] @1: The bear likes the bear.[(((triple3) -> rule2))] The bear needs the bear.[(((triple8) -> rule3))] The mouse likes the bear.[(((triple14) -> rule2))] @2: The mouse needs the cat.[(((((triple14) -> rule2)) -> rule1))]