The mouse is big. The mouse is rough. The mouse is round. The mouse needs the squirrel. The mouse sees the rabbit. The rabbit is big. The rabbit sees the squirrel. The rabbit visits the mouse. The squirrel is kind. The squirrel is red. The squirrel is rough. The squirrel needs the mouse. The squirrel needs the rabbit. The squirrel visits the mouse. The squirrel visits the rabbit. If someone sees the mouse and they visit the squirrel then they see the squirrel. If someone needs the rabbit and the rabbit needs the mouse then the mouse visits the squirrel. If the rabbit is red and the rabbit is big then the rabbit sees the squirrel. If someone needs the squirrel then they visit the rabbit. If the mouse needs the squirrel and the mouse sees the squirrel then the mouse is big. If someone visits the rabbit then the rabbit is red.
The squirrel does not visit the rabbit.
@0: The mouse is big.[(triple1)] The mouse is rough.[(triple2)] The mouse is round.[(triple3)] The mouse needs the squirrel.[(triple4)] The mouse sees the rabbit.[(triple5)] The rabbit is big.[(triple6)] The rabbit sees the squirrel.[(triple7 OR ((((triple15) -> rule6) triple6) -> rule3) OR ((((((triple4) -> rule4)) -> rule6) triple6) -> rule3))] The rabbit visits the mouse.[(triple8)] The squirrel is kind.[(triple9)] The squirrel is red.[(triple10)] The squirrel is rough.[(triple11)] The squirrel needs the mouse.[(triple12)] The squirrel needs the rabbit.[(triple13)] The squirrel visits the mouse.[(triple14)] The squirrel visits the rabbit.[(triple15)] @1: The mouse visits the rabbit.[(((triple4) -> rule4))] The rabbit is red.[(((triple15) -> rule6) OR ((((triple4) -> rule4)) -> rule6))]