The dog is nice. The mouse is young. The mouse visits the rabbit. The rabbit chases the mouse. The rabbit is big. The rabbit is nice. The rabbit is rough. The squirrel is round. The squirrel visits the mouse. The squirrel visits the rabbit. If someone likes the mouse then the mouse visits the dog. If someone chases the dog and the dog likes the rabbit then they like the rabbit. If someone likes the rabbit then the rabbit chases the squirrel. If someone visits the rabbit then the rabbit is young. If the squirrel visits the mouse and the squirrel likes the mouse then the squirrel likes the rabbit. All nice people are big. If someone chases the dog and the dog visits the rabbit then the dog visits the squirrel. If someone visits the dog and they are big then the dog likes the squirrel.
The mouse does not like the rabbit.
@0: The dog is nice.[(triple1)] The mouse is young.[(triple2)] The mouse visits the rabbit.[(triple3)] The rabbit chases the mouse.[(triple4)] The rabbit is big.[(triple5 OR ((triple6) -> rule6))] The rabbit is nice.[(triple6)] The rabbit is rough.[(triple7)] The squirrel is round.[(triple8)] The squirrel visits the mouse.[(triple9)] The squirrel visits the rabbit.[(triple10)] @1: The dog is big.[(((triple1) -> rule6))] The rabbit is young.[(((triple10) -> rule4) OR ((triple3) -> rule4))]