The mouse does not eat the rabbit. The mouse is blue. The mouse is nice. The mouse is red. The mouse is round. The mouse needs the rabbit. The mouse sees the rabbit. The rabbit eats the mouse. The rabbit is blue. The rabbit is green. The rabbit is nice. The rabbit is red. The rabbit is round. The rabbit needs the mouse. The rabbit sees the mouse. If something needs the mouse then the mouse is blue. If something needs the mouse then the mouse is blue. If something eats the rabbit then it sees the rabbit.
The mouse is not round.
@0: The mouse does not eat the rabbit.[(triple1)] The mouse is blue.[(triple2 OR ((triple14) -> rule1) OR ((triple14) -> rule2))] The mouse is nice.[(triple3)] The mouse is red.[(triple4)] The mouse is round.[(triple5)] The mouse needs the rabbit.[(triple6)] The mouse sees the rabbit.[(triple7)] The rabbit eats the mouse.[(triple8)] The rabbit is blue.[(triple9)] The rabbit is green.[(triple10)] The rabbit is nice.[(triple11)] The rabbit is red.[(triple12)] The rabbit is round.[(triple13)] The rabbit needs the mouse.[(triple14)] The rabbit sees the mouse.[(triple15)]