The dog is big. The dog is green. The dog is round. The dog needs the mouse. The dog sees the mouse. The dog visits the mouse. The mouse is big. The mouse is kind. The mouse is round. The mouse needs the dog. The mouse sees the dog. The mouse visits the dog. If something sees the dog then it is round. If something needs the dog and it is kind then the dog sees the mouse. If something sees the dog and the dog is green then it needs the mouse.
The dog visits the dog.
@0: The dog is big.[(triple1)] The dog is green.[(triple2)] The dog is round.[(triple3)] The dog needs the mouse.[(triple4)] The dog sees the mouse.[(triple5 OR ((triple10 triple8) -> rule2))] The dog visits the mouse.[(triple6)] The mouse is big.[(triple7)] The mouse is kind.[(triple8)] The mouse is round.[(triple9 OR ((triple11) -> rule1))] The mouse needs the dog.[(triple10)] The mouse sees the dog.[(triple11)] The mouse visits the dog.[(triple12)] @1: The mouse needs the mouse.[(((triple11 triple2) -> rule3))]