The bear eats the mouse. The bear is nice. The mouse eats the bear. The mouse is cold. The mouse needs the bear. The tiger is round. The tiger likes the bear. If someone needs the bear then they eat the mouse. If someone likes the tiger and they are big then they eat the tiger. If someone is nice then they eat the bear. If someone needs the tiger and they are nice then they are big. If someone eats the tiger and the tiger likes the bear then the tiger is young. If the mouse is big then the mouse is nice. If someone needs the mouse and the mouse is cold then the mouse eats the tiger. If someone eats the mouse and they eat the bear then they need the tiger.
The bear is not round.
@0: The bear eats the mouse.[(triple1)] The bear is nice.[(triple2)] The mouse eats the bear.[(triple3)] The mouse is cold.[(triple4)] The mouse needs the bear.[(triple5)] The tiger is round.[(triple6)] The tiger likes the bear.[(triple7)] @1: The bear eats the bear.[(((triple2) -> rule3))] The mouse eats the mouse.[(((triple5) -> rule1))] @2: The bear needs the tiger.[(((triple1 ((triple2) -> rule3)) -> rule8))] The mouse needs the tiger.[(((((triple5) -> rule1) triple3) -> rule8))] @3: The bear is big.[(((((triple1 ((triple2) -> rule3)) -> rule8) triple2) -> rule4))]