The cat chases the lion. The cat eats the lion. The lion chases the mouse. The lion eats the cat. The lion eats the mouse. The mouse chases the cat. The mouse chases the lion. The mouse eats the lion. The mouse needs the cat. The mouse needs the lion. If someone needs the lion then the lion is nice. If someone eats the cat and they are nice then the cat is round. All round people are young. If someone needs the lion then they are cold. If someone needs the cat and the cat is young then they are nice. If the cat chases the mouse and the mouse needs the lion then the cat needs the lion.
The lion needs the mouse.
@0: The cat chases the lion.[(triple1)] The cat eats the lion.[(triple2)] The lion chases the mouse.[(triple3)] The lion eats the cat.[(triple4)] The lion eats the mouse.[(triple5)] The mouse chases the cat.[(triple6)] The mouse chases the lion.[(triple7)] The mouse eats the lion.[(triple8)] The mouse needs the cat.[(triple9)] The mouse needs the lion.[(triple10)] @1: The lion is nice.[(((triple10) -> rule1))] The mouse is cold.[(((triple10) -> rule4))] @2: The cat is round.[(((triple4 ((triple10) -> rule1)) -> rule2))] @3: The cat is young.[(((((triple4 ((triple10) -> rule1)) -> rule2)) -> rule3))] @4: The mouse is nice.[(((triple9 ((((triple4 ((triple10) -> rule1)) -> rule2)) -> rule3)) -> rule5))]