The mouse eats the rabbit. The mouse is blue. The mouse is green. The mouse is nice. The mouse is round. The mouse is young. 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 round. The rabbit is young. The rabbit needs the mouse. The rabbit sees the mouse. If something eats the rabbit and the rabbit needs the mouse then it sees the rabbit. If something sees the mouse and it eats the mouse then it eats the rabbit. If something needs the mouse then the mouse is round.
The mouse does not see the mouse.
@0: The mouse eats the rabbit.[(triple1)] The mouse is blue.[(triple2)] The mouse is green.[(triple3)] The mouse is nice.[(triple4)] The mouse is round.[(triple5 OR ((triple15) -> rule3))] The mouse is young.[(triple6)] The mouse needs the rabbit.[(triple7)] The mouse sees the rabbit.[(triple8 OR ((triple1 triple15) -> rule1))] The rabbit eats the mouse.[(triple9)] The rabbit is blue.[(triple10)] The rabbit is green.[(triple11)] The rabbit is nice.[(triple12)] The rabbit is round.[(triple13)] The rabbit is young.[(triple14)] The rabbit needs the mouse.[(triple15)] The rabbit sees the mouse.[(triple16)] @1: The rabbit eats the rabbit.[(((triple16 triple9) -> rule2))] @2: The rabbit sees the rabbit.[(((((triple16 triple9) -> rule2) triple15) -> rule1))]