The bear is green. The bear is round. The mouse sees the bear. The rabbit eats the mouse. The rabbit is round. The rabbit is young. The rabbit sees the mouse. If someone sees the rabbit and they visit the rabbit then they eat the bear. If someone visits the bear then they see the bear. If the rabbit is young then the rabbit visits the mouse. If someone sees the rabbit then they are young. If someone is nice and they eat the bear then the bear is red. If the rabbit visits the mouse then the rabbit eats the mouse. If someone is nice then they eat the bear. If someone is nice and they visit the bear then they see the bear.
The bear visits the bear.
@0: The bear is green.[(triple1)] The bear is round.[(triple2)] The mouse sees the bear.[(triple3)] The rabbit eats the mouse.[(triple4 OR ((((triple6) -> rule3)) -> rule6))] The rabbit is round.[(triple5)] The rabbit is young.[(triple6)] The rabbit sees the mouse.[(triple7)] @1: The rabbit visits the mouse.[(((triple6) -> rule3))]