The bear is rough. The mouse chases the bear. The mouse eats the bear. The mouse is green. The mouse is nice. The mouse is young. The mouse visits the bear. The rabbit does not chase the bear. The rabbit eats the bear. The rabbit is not big. The rabbit visits the bear. The rabbit visits the mouse. If something eats the bear then it is young. If something is rough then it visits the bear. If something is young then it eats the rabbit. If something visits the bear then it eats the bear. If something eats the mouse then the mouse eats the bear. If something is young and it eats the bear then it visits the rabbit.
The bear is not big.
@0: The bear is rough.[(triple1)] The mouse chases the bear.[(triple2)] The mouse eats the bear.[(triple3 OR ((triple7) -> rule4))] The mouse is green.[(triple4)] The mouse is nice.[(triple5)] The mouse is young.[(triple6 OR ((triple3) -> rule1) OR ((((triple7) -> rule4)) -> rule1))] The mouse visits the bear.[(triple7)] The rabbit does not chase the bear.[(triple8)] The rabbit eats the bear.[(triple9 OR ((triple11) -> rule4))] The rabbit is not big.[(triple10)] The rabbit visits the bear.[(triple11)] The rabbit visits the mouse.[(triple12)] @1: The bear visits the bear.[(((triple1) -> rule2))] The mouse eats the rabbit.[(((triple6) -> rule3) OR ((((triple3) -> rule1)) -> rule3) OR ((((((triple7) -> rule4)) -> rule1)) -> rule3))] The mouse visits the rabbit.[(((triple6 triple3) -> rule6) OR ((triple6 ((triple7) -> rule4)) -> rule6) OR ((((triple3) -> rule1) triple3) -> rule6) OR ((((triple3) -> rule1) ((triple7) -> rule4)) -> rule6) OR ((((((triple7) -> rule4)) -> rule1) triple3) -> rule6) OR ((((((triple7) -> rule4)) -> rule1) ((triple7) -> rule4)) -> rule6))] The rabbit is young.[(((triple9) -> rule1) OR ((((triple11) -> rule4)) -> rule1))] @2: The bear eats the bear.[(((((triple1) -> rule2)) -> rule4))] The rabbit eats the rabbit.[(((((triple9) -> rule1)) -> rule3) OR ((((((triple11) -> rule4)) -> rule1)) -> rule3))] The rabbit visits the rabbit.[(((((triple9) -> rule1) triple9) -> rule6) OR ((((triple9) -> rule1) ((triple11) -> rule4)) -> rule6) OR ((((((triple11) -> rule4)) -> rule1) triple9) -> rule6) OR ((((((triple11) -> rule4)) -> rule1) ((triple11) -> rule4)) -> rule6))] @3: The bear is young.[(((((((triple1) -> rule2)) -> rule4)) -> rule1))] @4: The bear eats the rabbit.[(((((((((triple1) -> rule2)) -> rule4)) -> rule1)) -> rule3))] The bear visits the rabbit.[(((((((((triple1) -> rule2)) -> rule4)) -> rule1) ((((triple1) -> rule2)) -> rule4)) -> rule6))]