The cow eats the lion. The lion eats the mouse. The lion needs the mouse. The mouse sees the lion. The tiger eats the lion. The tiger is green. The tiger is red. The tiger needs the lion. The tiger needs the mouse. The tiger sees the cow. If someone sees the lion then they are cold. If someone needs the tiger and they need the mouse then they are cold. If someone needs the tiger and the tiger eats the cow then the tiger needs the lion. All round people are green. All young, green people are round. If someone eats the mouse and the mouse sees the lion then they are green. If someone needs the tiger then the tiger sees the lion. If someone is cold and they see the lion then they need the tiger.
The tiger needs the mouse.
@0: The cow eats the lion.[(triple1)] The lion eats the mouse.[(triple2)] The lion needs the mouse.[(triple3)] The mouse sees the lion.[(triple4)] The tiger eats the lion.[(triple5)] The tiger is green.[(triple6)] The tiger is red.[(triple7)] The tiger needs the lion.[(triple8)] The tiger needs the mouse.[(triple9)] The tiger sees the cow.[(triple10)] @1: The lion is green.[(((triple2 triple4) -> rule6))] The mouse is cold.[(((triple4) -> rule1))] @2: The mouse needs the tiger.[(((((triple4) -> rule1) triple4) -> rule8))] @3: The tiger sees the lion.[(((((((triple4) -> rule1) triple4) -> rule8)) -> rule7))] @4: The tiger is cold.[(((((((((triple4) -> rule1) triple4) -> rule8)) -> rule7)) -> rule1))] @5: The tiger needs the tiger.[(((((((((((triple4) -> rule1) triple4) -> rule8)) -> rule7)) -> rule1) ((((((triple4) -> rule1) triple4) -> rule8)) -> rule7)) -> rule8))]