The dog is big. The mouse likes the dog. The rabbit does not visit the squirrel. The squirrel visits the mouse. If the dog likes the mouse then the mouse likes the dog. If someone likes the dog and they are not blue then they like the rabbit. If someone likes the rabbit then they are green. If someone likes the dog then the dog likes the rabbit. If someone is green then they visit the mouse. If the squirrel visits the dog and the dog is not blue then the squirrel likes the rabbit. If someone eats the dog and the dog eats the squirrel then the dog likes the squirrel. If someone is green and they like the dog then the dog eats the squirrel.
The mouse likes the dog.
@0: The dog is big.[(triple1)] The mouse likes the dog.[(triple2)] The rabbit does not visit the squirrel.[(triple3)] The squirrel visits the mouse.[(triple4)] @1: The dog likes the rabbit.[(((triple2) -> rule4))] @2: The dog is green.[(((((triple2) -> rule4)) -> rule3))] @3: The dog visits the mouse.[(((((((triple2) -> rule4)) -> rule3)) -> rule5))]