The dog does not eat the mouse. The dog does not eat the tiger. The dog is round. The dog likes the lion. The dog likes the mouse. The lion eats the tiger. The mouse is not cold. The mouse is round. The mouse needs the dog. The tiger is blue. The tiger is rough. The tiger does not need the lion. If someone likes the mouse and they are blue then the mouse eats the dog. If someone likes the mouse and the mouse is blue then the mouse is rough. If someone is cold then they need the tiger. If someone eats the lion then they need the tiger. If someone likes the dog then they are rough. If someone is blue and they eat the lion then the lion is rough. If someone is rough then they eat the lion. If someone needs the tiger then they do not like the lion.
The dog is not rough.
@0: The dog does not eat the mouse.[(triple1)] The dog does not eat the tiger.[(triple2)] The dog is round.[(triple3)] The dog likes the lion.[(triple4)] The dog likes the mouse.[(triple5)] The lion eats the tiger.[(triple6)] The mouse is not cold.[(triple7)] The mouse is round.[(triple8)] The mouse needs the dog.[(triple9)] The tiger does not need the lion.[(triple12)] The tiger is blue.[(triple10)] The tiger is rough.[(triple11)] @1: The tiger eats the lion.[(((triple11) -> rule7))] @2: The lion is rough.[(((triple10 ((triple11) -> rule7)) -> rule6))] The tiger needs the tiger.[(((((triple11) -> rule7)) -> rule4))] @3: The lion eats the lion.[(((((triple10 ((triple11) -> rule7)) -> rule6)) -> rule7))] The tiger does not like the lion.[(((((((triple11) -> rule7)) -> rule4)) -> rule8))] @4: The lion needs the tiger.[(((((((triple10 ((triple11) -> rule7)) -> rule6)) -> rule7)) -> rule4))] @5: The lion does not like the lion.[(((((((((triple10 ((triple11) -> rule7)) -> rule6)) -> rule7)) -> rule4)) -> rule8))]