The dog is kind. The dog does not need the mouse. The dog visits the mouse. The mouse is round. The mouse likes the dog. The squirrel is green. The squirrel needs the dog. If someone visits the squirrel then they are not round. If the dog is kind then the dog visits the squirrel. If someone needs the squirrel and they are kind then they are red. If the dog is not green then the dog is round. If someone is cold then they visit the dog. If someone visits the mouse and they are not round then the mouse likes the squirrel.
The mouse likes the squirrel.
@0: The dog does not need the mouse.[(triple2)] The dog is kind.[(triple1)] The dog visits the mouse.[(triple3)] The mouse is round.[(triple4)] The mouse likes the dog.[(triple5)] The squirrel is green.[(triple6)] The squirrel needs the dog.[(triple7)] @1: The dog visits the squirrel.[(((triple1) -> rule2))] @2: The dog is not round.[(((((triple1) -> rule2)) -> rule1))] @3: The mouse likes the squirrel.[(((triple3 ((((triple1) -> rule2)) -> rule1)) -> rule6))]