The cat chases the lion. The cat chases the rabbit. The cat eats the rabbit. The cat is green. The lion chases the cat. The lion chases the rabbit. The lion eats the cat. The lion is cold. The lion is red. The lion needs the mouse. The mouse eats the cat. The mouse eats the lion. The rabbit chases the cat. The rabbit eats the cat. The rabbit eats the mouse. The rabbit is cold. If something chases the lion then the lion needs the cat. If something eats the mouse then the mouse is green. If something is cold and it needs the cat then the cat needs the mouse.
The rabbit does not chase the lion.
@0: The cat chases the lion.[(triple1)] The cat chases the rabbit.[(triple2)] The cat eats the rabbit.[(triple3)] The cat is green.[(triple4)] The lion chases the cat.[(triple5)] The lion chases the rabbit.[(triple6)] The lion eats the cat.[(triple7)] The lion is cold.[(triple8)] The lion is red.[(triple9)] The lion needs the mouse.[(triple10)] The mouse eats the cat.[(triple11)] The mouse eats the lion.[(triple12)] The rabbit chases the cat.[(triple13)] The rabbit eats the cat.[(triple14)] The rabbit eats the mouse.[(triple15)] The rabbit is cold.[(triple16)] @1: The lion needs the cat.[(((triple1) -> rule1))] The mouse is green.[(((triple15) -> rule2))] @2: The cat needs the mouse.[(((triple8 ((triple1) -> rule1)) -> rule3))]