The mouse eats the rabbit. The mouse eats the tiger. The mouse does not need the rabbit. The rabbit does not eat the mouse. The rabbit does not need the mouse. The rabbit visits the squirrel. The rabbit visits the tiger. The squirrel is green. The squirrel needs the rabbit. The tiger is nice. If something is blue then it visits the rabbit. If something visits the mouse and it eats the rabbit then it visits the rabbit. All nice things are blue. If something needs the mouse and it eats the tiger then the tiger does not eat the mouse. If the mouse eats the tiger and the rabbit does not visit the mouse then the rabbit does not visit the squirrel. If the mouse visits the tiger and the mouse is not green then the mouse is blue. If something visits the rabbit then the rabbit is nice. If something is green and nice then it eats the mouse.
The tiger eats the mouse.
@0: The mouse does not need the rabbit.[(triple3)] The mouse eats the rabbit.[(triple1)] The mouse eats the tiger.[(triple2)] The rabbit does not eat the mouse.[(triple4)] The rabbit does not need the mouse.[(triple5)] The rabbit visits the squirrel.[(triple6)] The rabbit visits the tiger.[(triple7)] The squirrel is green.[(triple8)] The squirrel needs the rabbit.[(triple9)] The tiger is nice.[(triple10)] @1: The tiger is blue.[(((triple10) -> rule3))] @2: The tiger visits the rabbit.[(((((triple10) -> rule3)) -> rule1))] @3: The rabbit is nice.[(((((((triple10) -> rule3)) -> rule1)) -> rule7))] @4: The rabbit is blue.[(((((((((triple10) -> rule3)) -> rule1)) -> rule7)) -> rule3))] @5: The rabbit visits the rabbit.[(((((((((((triple10) -> rule3)) -> rule1)) -> rule7)) -> rule3)) -> rule1))]