The cow likes the dog. The dog is kind. The mouse is blue. The squirrel is kind. All kind people are big. If someone sees the dog and the dog visits the mouse then the dog visits the squirrel. If someone sees the cow and the cow likes the dog then the dog visits the mouse. If someone is kind and they like the cow then they like the mouse. If someone is young and they see the cow then they visit the mouse. If someone likes the mouse then they see the mouse. If someone sees the squirrel and the squirrel is big then they see the mouse. If someone visits the cow and they like the cow then the cow sees the dog.
The squirrel is not kind.
@0: The cow likes the dog.[(triple1)] The dog is kind.[(triple2)] The mouse is blue.[(triple3)] The squirrel is kind.[(triple4)] @1: The dog is big.[(((triple2) -> rule1))] The squirrel is big.[(((triple4) -> rule1))]