The bear eats the lion. The bear eats the mouse. The bear likes the lion. The bear likes the mouse. The bear does not like the tiger. The bear does not need the tiger. The lion eats the mouse. The lion likes the bear. The lion needs the mouse. The mouse does not need the bear. The tiger eats the bear. The tiger needs the lion. If someone needs the tiger then they are cold. If the lion does not like the mouse then the mouse is round. If someone needs the lion then they need the tiger. If someone eats the mouse then the mouse needs the lion. If someone eats the tiger then they are not nice. If the mouse does not need the tiger then the tiger does not need the bear.
The mouse is not round.
@0: The bear does not like the tiger.[(triple5)] The bear does not need the tiger.[(triple6)] The bear eats the lion.[(triple1)] The bear eats the mouse.[(triple2)] The bear likes the lion.[(triple3)] The bear likes the mouse.[(triple4)] The lion eats the mouse.[(triple7)] The lion likes the bear.[(triple8)] The lion needs the mouse.[(triple9)] The mouse does not need the bear.[(triple10)] The tiger eats the bear.[(triple11)] The tiger needs the lion.[(triple12)] @1: The mouse needs the lion.[(((triple2) -> rule4) OR ((triple7) -> rule4))] The tiger needs the tiger.[(((triple12) -> rule3))] @2: The mouse needs the tiger.[(((((triple2) -> rule4)) -> rule3) OR ((((triple7) -> rule4)) -> rule3))] The tiger is cold.[(((((triple12) -> rule3)) -> rule1))] @3: The mouse is cold.[(((((((triple2) -> rule4)) -> rule3)) -> rule1) OR ((((((triple7) -> rule4)) -> rule3)) -> rule1))]