The bear likes the rabbit. The rabbit likes the tiger. The squirrel needs the rabbit. The tiger is big. If something needs the rabbit and the rabbit likes the bear then the bear is nice. If something is big then it eats the bear. If something eats the tiger then it likes the squirrel. If something eats the bear then the bear eats the rabbit. If the squirrel needs the rabbit then the rabbit needs the bear. Red things are nice.
The bear does not eat the rabbit.
@0: The bear likes the rabbit.[(triple1)] The rabbit likes the tiger.[(triple2)] The squirrel needs the rabbit.[(triple3)] The tiger is big.[(triple4)] @1: The rabbit needs the bear.[(((triple3) -> rule5))] The tiger eats the bear.[(((triple4) -> rule2))] @2: The bear eats the rabbit.[(((((triple4) -> rule2)) -> rule4))]