The cow sees the rabbit. The lion is blue. The lion is cold. The lion visits the cow. The rabbit eats the lion. The rabbit visits the lion. The tiger eats the lion. The tiger is blue. The tiger is green. The tiger sees the rabbit. If something is young and it visits the lion then the lion is blue. If the rabbit visits the tiger then the rabbit visits the cow. If something visits the lion then it visits the tiger.
The lion eats the tiger.
@0: The cow sees the rabbit.[(triple1)] The lion is blue.[(triple2)] The lion is cold.[(triple3)] The lion visits the cow.[(triple4)] The rabbit eats the lion.[(triple5)] The rabbit visits the lion.[(triple6)] The tiger eats the lion.[(triple7)] The tiger is blue.[(triple8)] The tiger is green.[(triple9)] The tiger sees the rabbit.[(triple10)] @1: The rabbit visits the tiger.[(((triple6) -> rule3))] @2: The rabbit visits the cow.[(((((triple6) -> rule3)) -> rule2))]