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