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