The mouse eats the rabbit. The mouse is big. The mouse is kind. The mouse is round. The mouse needs the rabbit. The mouse visits the rabbit. The rabbit eats the mouse. The rabbit is kind. The rabbit needs the mouse. The rabbit visits the mouse. If something eats the mouse and the mouse eats the rabbit then the rabbit eats the mouse. If something needs the rabbit and the rabbit eats the mouse then it eats the rabbit. If something visits the mouse then it needs the rabbit. If something is kind and big then it visits the rabbit. If something eats the rabbit then it is big. If the rabbit needs the mouse and the rabbit is not big then the mouse is blue.
The mouse does not need the mouse.
@0: The mouse eats the rabbit.[(triple1 OR ((triple5 triple7) -> rule2))] The mouse is big.[(triple2 OR ((triple1) -> rule5) OR ((((triple5 triple7) -> rule2)) -> rule5))] The mouse is kind.[(triple3)] The mouse is round.[(triple4)] The mouse needs the rabbit.[(triple5)] The mouse visits the rabbit.[(triple6 OR ((triple3 triple2) -> rule4) OR ((triple3 ((triple1) -> rule5)) -> rule4) OR ((triple3 ((((triple5 triple7) -> rule2)) -> rule5)) -> rule4))] The rabbit eats the mouse.[(triple7)] The rabbit is kind.[(triple8)] The rabbit needs the mouse.[(triple9)] The rabbit visits the mouse.[(triple10)] @1: The rabbit needs the rabbit.[(((triple10) -> rule3))] @2: The rabbit eats the rabbit.[(((((triple10) -> rule3) triple7) -> rule2))] @3: The rabbit is big.[(((((((triple10) -> rule3) triple7) -> rule2)) -> rule5))] @4: The rabbit visits the rabbit.[(((triple8 ((((((triple10) -> rule3) triple7) -> rule2)) -> rule5)) -> rule4))]