The cat is blue. The cow is blue. The cow is round. The cow needs the squirrel. The cow visits the mouse. The mouse sees the cat. The mouse sees the cow. The mouse sees the squirrel. The squirrel is kind. The squirrel is round. The squirrel needs the mouse. The squirrel sees the mouse. If someone is kind and they need the mouse then they see the cow. If someone needs the cow and they are blue then they visit the cow.
The mouse sees the squirrel.
@0: The cat is blue.[(triple1)] The cow is blue.[(triple2)] The cow is round.[(triple3)] The cow needs the squirrel.[(triple4)] The cow visits the mouse.[(triple5)] The mouse sees the cat.[(triple6)] The mouse sees the cow.[(triple7)] The mouse sees the squirrel.[(triple8)] The squirrel is kind.[(triple9)] The squirrel is round.[(triple10)] The squirrel needs the mouse.[(triple11)] The squirrel sees the mouse.[(triple12)] @1: The squirrel sees the cow.[(((triple9 triple11) -> rule1))]