The dog eats the mouse. The dog needs the lion. The dog sees the lion. The lion needs the mouse. The lion sees the dog. The mouse eats the dog. The mouse eats the lion. The mouse is nice. The mouse is young. The mouse needs the dog. The tiger eats the dog. The tiger eats the lion. The tiger is kind. The tiger is round. The tiger needs the dog. The tiger sees the lion. If someone eats the lion then they are young. If someone is round and they see the mouse then they are blue. If someone is kind and they see the tiger then they are blue. If someone eats the lion then they see the tiger. If someone sees the dog and the dog is kind then the dog eats the mouse. If the tiger eats the mouse then the tiger needs the mouse. If someone eats the lion and they are young then they eat the dog. If someone is blue then they are nice.
The dog is not nice.
@0: The dog eats the mouse.[(triple1)] The dog needs the lion.[(triple2)] The dog sees the lion.[(triple3)] The lion needs the mouse.[(triple4)] The lion sees the dog.[(triple5)] The mouse eats the dog.[(triple6 OR ((triple7 triple9) -> rule7) OR ((triple7 ((triple7) -> rule1)) -> rule7))] The mouse eats the lion.[(triple7)] The mouse is nice.[(triple8)] The mouse is young.[(triple9 OR ((triple7) -> rule1))] The mouse needs the dog.[(triple10)] The tiger eats the dog.[(triple11 OR ((triple12 ((triple12) -> rule1)) -> rule7))] The tiger eats the lion.[(triple12)] The tiger is kind.[(triple13)] The tiger is round.[(triple14)] The tiger needs the dog.[(triple15)] The tiger sees the lion.[(triple16)] @1: The mouse sees the tiger.[(((triple7) -> rule4))] The tiger is young.[(((triple12) -> rule1))] The tiger sees the tiger.[(((triple12) -> rule4))] @2: The tiger is blue.[(((triple13 ((triple12) -> rule4)) -> rule3))] @3: The tiger is nice.[(((((triple13 ((triple12) -> rule4)) -> rule3)) -> rule8))]