The lion chases the rabbit. The lion does not eat the rabbit. The lion is green. The lion sees the rabbit. The rabbit chases the lion. The rabbit eats the lion. The rabbit is blue. The rabbit is kind. The rabbit is not rough. The rabbit sees the lion. If something sees the rabbit then it is blue. If something is blue then it eats the lion.
The lion is not blue.
@0: The lion chases the rabbit.[(triple1)] The lion does not eat the rabbit.[(triple2)] The lion is green.[(triple3)] The lion sees the rabbit.[(triple4)] The rabbit chases the lion.[(triple5)] The rabbit eats the lion.[(triple6 OR ((triple7) -> rule2))] The rabbit is blue.[(triple7)] The rabbit is kind.[(triple8)] The rabbit is not rough.[(triple9)] The rabbit sees the lion.[(triple10)] @1: The lion is blue.[(((triple4) -> rule1))] @2: The lion eats the lion.[(((((triple4) -> rule1)) -> rule2))]