The bear does not visit the rabbit. The rabbit eats the bear. The rabbit is big. The rabbit is red. The rabbit is young. The rabbit sees the bear. The rabbit does not visit the bear. All blue things are red. If the rabbit sees the bear then the bear sees the rabbit. If something sees the bear then the bear is young.
The bear eats the rabbit.
@0: The bear does not visit the rabbit.[(triple1)] The rabbit does not visit the bear.[(triple7)] The rabbit eats the bear.[(triple2)] The rabbit is big.[(triple3)] The rabbit is red.[(triple4)] The rabbit is young.[(triple5)] The rabbit sees the bear.[(triple6)] @1: The bear is young.[(((triple6) -> rule3))] The bear sees the rabbit.[(((triple6) -> rule2))]