The bear eats the mouse. The bear is rough. The bear is round. The bear is young. The bear needs the mouse. The bear sees the mouse. The mouse eats the bear. The mouse is cold. The mouse is rough. The mouse is round. The mouse needs the bear. The mouse sees the bear. If something is young and it needs the mouse then it eats the mouse. If something eats the mouse and it is rough then it sees the bear. If something eats the mouse and the mouse needs the bear then the mouse sees the bear. If something eats the mouse and the mouse sees the bear then it needs the mouse. If the bear needs the mouse and the bear eats the mouse then the mouse is young. If something eats the bear and the bear eats the mouse then the bear needs the mouse.
The bear is not rough.
@0: The bear eats the mouse.[(triple1 OR ((triple4 triple5) -> rule1))] The bear is rough.[(triple2)] The bear is round.[(triple3)] The bear is young.[(triple4)] The bear needs the mouse.[(triple5 OR ((triple1 triple12) -> rule4) OR ((triple7 triple1) -> rule6) OR ((triple1 ((triple1 triple11) -> rule3)) -> rule4))] The bear sees the mouse.[(triple6)] The mouse eats the bear.[(triple7)] The mouse is cold.[(triple8)] The mouse is rough.[(triple9)] The mouse is round.[(triple10)] The mouse needs the bear.[(triple11)] The mouse sees the bear.[(triple12 OR ((triple1 triple11) -> rule3) OR ((((triple4 triple5) -> rule1) triple11) -> rule3))] @1: The bear sees the bear.[(((triple1 triple2) -> rule2) OR ((((triple4 triple5) -> rule1) triple2) -> rule2))] The mouse is young.[(((triple5 triple1) -> rule5) OR ((triple5 ((triple4 triple5) -> rule1)) -> rule5) OR ((((triple1 triple12) -> rule4) triple1) -> rule5) OR ((((triple7 triple1) -> rule6) triple1) -> rule5) OR ((((triple1 triple12) -> rule4) ((triple4 triple5) -> rule1)) -> rule5) OR ((((triple7 triple1) -> rule6) ((triple4 triple5) -> rule1)) -> rule5) OR ((((triple1 ((triple1 triple11) -> rule3)) -> rule4) triple1) -> rule5) OR ((((triple1 ((triple1 triple11) -> rule3)) -> rule4) ((triple4 triple5) -> rule1)) -> rule5))]