The bear chases the cat. The bear chases the mouse. The bear eats the mouse. The bear is nice. The bear needs the mouse. The cat chases the mouse. The cat eats the mouse. The cat is blue. The cat is not green. The cat needs the bear. The lion needs the cat. The mouse chases the bear. The mouse chases the lion. The mouse eats the lion. The mouse is big. The mouse is not cold. If someone is cold then they eat the cat. If someone needs the mouse and they are cold then the mouse chases the cat. If someone eats the bear and they need the lion then they chase the cat. If someone eats the lion then they eat the bear. If someone eats the bear then they do not need the mouse. If someone needs the lion then the lion does not eat the cat. If someone chases the bear and they do not need the mouse then they need the cat. If someone needs the mouse and the mouse does not need the cat then the mouse is blue.
The mouse needs the cat.
@0: The bear chases the cat.[(triple1)] The bear chases the mouse.[(triple2)] The bear eats the mouse.[(triple3)] The bear is nice.[(triple4)] The bear needs the mouse.[(triple5)] The cat chases the mouse.[(triple6)] The cat eats the mouse.[(triple7)] The cat is blue.[(triple8)] The cat is not green.[(triple9)] The cat needs the bear.[(triple10)] The lion needs the cat.[(triple11)] The mouse chases the bear.[(triple12)] The mouse chases the lion.[(triple13)] The mouse eats the lion.[(triple14)] The mouse is big.[(triple15)] The mouse is not cold.[(triple16)] @1: The mouse eats the bear.[(((triple14) -> rule4))] @2: The mouse does not need the mouse.[(((((triple14) -> rule4)) -> rule5))] @3: The mouse needs the cat.[(((triple12 ((((triple14) -> rule4)) -> rule5)) -> rule7))]