The bear visits the mouse. The cat is round. The mouse likes the cat. The tiger is rough. If someone visits the tiger and they visit the cat then the tiger likes the bear. If someone is blue then they visit the mouse. If someone is big then they visit the mouse. If someone visits the mouse then they like the bear. If someone needs the bear then the bear is round. If someone likes the mouse then they are big. If someone visits the mouse then the mouse is blue. If someone likes the tiger and the tiger likes the cat then they need the bear.
The cat does not need the bear.
@0: The bear visits the mouse.[(triple1)] The cat is round.[(triple2)] The mouse likes the cat.[(triple3)] The tiger is rough.[(triple4)] @1: The bear likes the bear.[(((triple1) -> rule4))] The mouse is blue.[(((triple1) -> rule7))] @2: The mouse visits the mouse.[(((((triple1) -> rule7)) -> rule2))] @3: The mouse likes the bear.[(((((((triple1) -> rule7)) -> rule2)) -> rule4))]