The dog is kind. The dog is round. The dog needs the tiger. The mouse likes the dog. The mouse likes the tiger. The mouse needs the tiger. The mouse sees the tiger. The tiger is blue. The tiger is kind. The tiger is round. The tiger likes the dog. The tiger likes the mouse. The tiger needs the dog. The tiger needs the mouse. The tiger sees the dog. If the mouse is rough and the mouse sees the tiger then the tiger sees the dog. If someone sees the mouse then the mouse is kind. If someone needs the dog then they like the mouse. If someone likes the dog and the dog sees the tiger then the dog is round. If someone needs the tiger and the tiger sees the dog then the tiger likes the mouse. If someone is kind then they see the mouse.
The mouse does not see the mouse.
@0: The dog is kind.[(triple1)] The dog is round.[(triple2)] The dog needs the tiger.[(triple3)] The mouse likes the dog.[(triple4)] The mouse likes the tiger.[(triple5)] The mouse needs the tiger.[(triple6)] The mouse sees the tiger.[(triple7)] The tiger is blue.[(triple8)] The tiger is kind.[(triple9)] The tiger is round.[(triple10)] The tiger likes the dog.[(triple11)] The tiger likes the mouse.[(triple12 OR ((triple13) -> rule3) OR ((triple3 triple15) -> rule5) OR ((triple6 triple15) -> rule5))] The tiger needs the dog.[(triple13)] The tiger needs the mouse.[(triple14)] The tiger sees the dog.[(triple15)] @1: The dog sees the mouse.[(((triple1) -> rule6))] The tiger sees the mouse.[(((triple9) -> rule6))] @2: The mouse is kind.[(((((triple1) -> rule6)) -> rule2) OR ((((triple9) -> rule6)) -> rule2))] @3: The mouse sees the mouse.[(((((((triple1) -> rule6)) -> rule2)) -> rule6) OR ((((((triple9) -> rule6)) -> rule2)) -> rule6))]