The dog is red. The dog likes the squirrel. The dog visits the mouse. The dog visits the squirrel. The mouse is big. The mouse is red. The mouse likes the dog. The mouse visits the squirrel. The squirrel likes the mouse. The squirrel sees the dog. The squirrel sees the mouse. The squirrel visits the dog. If someone sees the squirrel then they like the dog. If someone visits the squirrel then they are blue. All young people are nice. If someone is nice and red then they like the dog. Big people are blue. If the mouse likes the dog and the mouse visits the dog then the mouse sees the squirrel.
The squirrel does not see the dog.
@0: The dog is red.[(triple1)] The dog likes the squirrel.[(triple2)] The dog visits the mouse.[(triple3)] The dog visits the squirrel.[(triple4)] The mouse is big.[(triple5)] The mouse is red.[(triple6)] The mouse likes the dog.[(triple7)] The mouse visits the squirrel.[(triple8)] The squirrel likes the mouse.[(triple9)] The squirrel sees the dog.[(triple10)] The squirrel sees the mouse.[(triple11)] The squirrel visits the dog.[(triple12)] @1: The dog is blue.[(((triple4) -> rule2))] The mouse is blue.[(((triple5) -> rule5) OR ((triple8) -> rule2))]