The bear eats the cat. The cat is not rough. The mouse needs the bear. The tiger eats the mouse. If something likes the tiger then it eats the mouse. If something likes the mouse and the mouse does not eat the bear then the bear eats the cat. If the tiger eats the bear then the tiger is red. If something eats the cat then it does not need the mouse. If something eats the tiger then it needs the bear. If something eats the cat then it is rough. If something is rough then it eats the tiger. If something needs the cat and it does not eat the tiger then the tiger eats the mouse.
The bear needs the bear.
@0: The bear eats the cat.[(triple1)] The cat is not rough.[(triple2)] The mouse needs the bear.[(triple3)] The tiger eats the mouse.[(triple4)] @1: The bear does not need the mouse.[(((triple1) -> rule4))] The bear is rough.[(((triple1) -> rule6))] @2: The bear eats the tiger.[(((((triple1) -> rule6)) -> rule7))] @3: The bear needs the bear.[(((((((triple1) -> rule6)) -> rule7)) -> rule5))]