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