The dog is kind. The dog likes the mouse. The dog likes the rabbit. The dog visits the mouse. The mouse is blue. The mouse sees the dog. The mouse visits the rabbit. The rabbit is big. The rabbit is kind. The rabbit sees the dog. The rabbit sees the mouse. The rabbit visits the squirrel. The squirrel is blue. The squirrel likes the mouse. The squirrel visits the mouse. If something likes the rabbit then the rabbit sees the mouse. If something is blue and green then it likes the rabbit. If something visits the dog then the dog sees the squirrel. If the squirrel visits the dog and the squirrel likes the rabbit then the dog likes the squirrel. If something is red then it likes the mouse. If something likes the squirrel then it is blue.
The rabbit is big.
@0: The dog is kind.[(triple1)] The dog likes the mouse.[(triple2)] The dog likes the rabbit.[(triple3)] The dog visits the mouse.[(triple4)] The mouse is blue.[(triple5)] The mouse sees the dog.[(triple6)] The mouse visits the rabbit.[(triple7)] The rabbit is big.[(triple8)] The rabbit is kind.[(triple9)] The rabbit sees the dog.[(triple10)] The rabbit sees the mouse.[(triple11 OR ((triple3) -> rule1))] The rabbit visits the squirrel.[(triple12)] The squirrel is blue.[(triple13)] The squirrel likes the mouse.[(triple14)] The squirrel visits the mouse.[(triple15)]