The bear is big. The bear is cold. The bear needs the rabbit. The rabbit chases the bear. The rabbit eats the bear. The rabbit is red. The rabbit needs the bear. If someone is cold then they do not chase the rabbit. If someone is cold and they do not chase the rabbit then they chase the bear. If someone needs the rabbit and they chase the bear then they do not eat the rabbit.
The bear is red.
@0: The bear is big.[(triple1)] The bear is cold.[(triple2)] The bear needs the rabbit.[(triple3)] The rabbit chases the bear.[(triple4)] The rabbit eats the bear.[(triple5)] The rabbit is red.[(triple6)] The rabbit needs the bear.[(triple7)] @1: The bear does not chase the rabbit.[(((triple2) -> rule1))] @2: The bear chases the bear.[(((triple2 ((triple2) -> rule1)) -> rule2))] @3: The bear does not eat the rabbit.[(((triple3 ((triple2 ((triple2) -> rule1)) -> rule2)) -> rule3))]