The bear chases the mouse. The bear is big. The bear is cold. The bear is kind. The bear is round. The bear is young. The bear needs the mouse. The bear visits the mouse. The mouse chases the bear. The mouse is big. The mouse is cold. The mouse is kind. The mouse is round. The mouse is young. The mouse needs the bear. The mouse visits the bear. If something is round and it needs the mouse then the mouse needs the bear. If the bear visits the mouse and the mouse is kind then the bear chases the mouse. If something chases the mouse then the mouse is young. If something chases the mouse and the mouse needs the bear then it is young. If something visits the bear then it needs the mouse. If the bear is cold and the bear needs the mouse then the bear visits the mouse. If something is young then it visits the mouse. If something is cold then it visits the mouse.
The mouse is not kind.
@0: The bear chases the mouse.[(triple1 OR ((triple8 triple12) -> rule2) OR ((((triple3) -> rule8) triple12) -> rule2) OR ((((triple6) -> rule7) triple12) -> rule2) OR ((((triple3 triple7) -> rule6) triple12) -> rule2))] The bear is big.[(triple2)] The bear is cold.[(triple3)] The bear is kind.[(triple4)] The bear is round.[(triple5)] The bear is young.[(triple6 OR ((triple1 triple15) -> rule4) OR ((triple1 ((triple5 triple7) -> rule1)) -> rule4) OR ((((triple8 triple12) -> rule2) triple15) -> rule4) OR ((((triple8 triple12) -> rule2) ((triple5 triple7) -> rule1)) -> rule4) OR ((triple1 ((triple13 ((triple16) -> rule5)) -> rule1)) -> rule4) OR ((((((triple3) -> rule8) triple12) -> rule2) triple15) -> rule4) OR ((((((triple3 triple7) -> rule6) triple12) -> rule2) triple15) -> rule4) OR ((((triple8 triple12) -> rule2) ((triple13 ((triple16) -> rule5)) -> rule1)) -> rule4) OR ((((((triple3) -> rule8) triple12) -> rule2) ((triple5 triple7) -> rule1)) -> rule4) OR ((((((triple3 triple7) -> rule6) triple12) -> rule2) ((triple5 triple7) -> rule1)) -> rule4) OR ((((((triple3) -> rule8) triple12) -> rule2) ((triple13 ((triple16) -> rule5)) -> rule1)) -> rule4) OR ((((((triple3 triple7) -> rule6) triple12) -> rule2) ((triple13 ((triple16) -> rule5)) -> rule1)) -> rule4))] The bear needs the mouse.[(triple7)] The bear visits the mouse.[(triple8 OR ((triple3) -> rule8) OR ((triple6) -> rule7) OR ((triple3 triple7) -> rule6) OR ((((triple1 triple15) -> rule4)) -> rule7) OR ((((triple1 ((triple5 triple7) -> rule1)) -> rule4)) -> rule7) OR ((((triple1 ((triple13 ((triple16) -> rule5)) -> rule1)) -> rule4)) -> rule7))] The mouse chases the bear.[(triple9)] The mouse is big.[(triple10)] The mouse is cold.[(triple11)] The mouse is kind.[(triple12)] The mouse is round.[(triple13)] The mouse is young.[(triple14 OR ((triple1) -> rule3) OR ((((triple8 triple12) -> rule2)) -> rule3) OR ((((((triple3) -> rule8) triple12) -> rule2)) -> rule3) OR ((((((triple6) -> rule7) triple12) -> rule2)) -> rule3) OR ((((((triple3 triple7) -> rule6) triple12) -> rule2)) -> rule3))] The mouse needs the bear.[(triple15 OR ((triple5 triple7) -> rule1) OR ((triple13 ((triple16) -> rule5)) -> rule1))] The mouse visits the bear.[(triple16)] @1: The mouse needs the mouse.[(((triple16) -> rule5))] The mouse visits the mouse.[(((triple11) -> rule8) OR ((triple14) -> rule7) OR ((((triple1) -> rule3)) -> rule7) OR ((((((triple8 triple12) -> rule2)) -> rule3)) -> rule7) OR ((((((((triple3) -> rule8) triple12) -> rule2)) -> rule3)) -> rule7) OR ((((((((triple6) -> rule7) triple12) -> rule2)) -> rule3)) -> rule7) OR ((((((((triple3 triple7) -> rule6) triple12) -> rule2)) -> rule3)) -> rule7))]