The mouse chases the rabbit. The mouse is young. The mouse does not like the rabbit. The mouse sees the rabbit. The rabbit chases the mouse. The rabbit is green. The rabbit is nice. The rabbit is rough. The rabbit likes the mouse. The rabbit sees the mouse. If someone sees the rabbit and they do not chase the mouse then they are not green. If someone is young and they chase the rabbit then the rabbit is nice.
The mouse is not green.
@0: The mouse chases the rabbit.[(triple1)] The mouse does not like the rabbit.[(triple3)] The mouse is young.[(triple2)] The mouse sees the rabbit.[(triple4)] The rabbit chases the mouse.[(triple5)] The rabbit is green.[(triple6)] The rabbit is nice.[(triple7 OR ((triple2 triple1) -> rule2))] The rabbit is rough.[(triple8)] The rabbit likes the mouse.[(triple9)] The rabbit sees the mouse.[(triple10)]