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