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