The dog is kind. The dog is red. The dog is rough. The dog is round. The dog does not like the mouse. The dog sees the mouse. The dog visits the mouse. The mouse is big. The mouse is not kind. The mouse is red. The mouse is rough. The mouse is not round. The mouse likes the dog. The mouse sees the dog. The mouse visits the dog. If someone likes the dog then the dog visits the mouse. If someone sees the mouse then they visit the mouse.
The mouse does not visit the mouse.
@0: The dog does not like the mouse.[(triple5)] The dog is kind.[(triple1)] The dog is red.[(triple2)] The dog is rough.[(triple3)] The dog is round.[(triple4)] The dog sees the mouse.[(triple6)] The dog visits the mouse.[(triple7 OR ((triple13) -> rule1) OR ((triple6) -> rule2))] The mouse is big.[(triple8)] The mouse is not kind.[(triple9)] The mouse is not round.[(triple12)] The mouse is red.[(triple10)] The mouse is rough.[(triple11)] The mouse likes the dog.[(triple13)] The mouse sees the dog.[(triple14)] The mouse visits the dog.[(triple15)]