The lion is green. The lion is nice. The lion is red. The lion needs the mouse. The lion sees the mouse. The lion sees the rabbit. The lion visits the mouse. The lion visits the rabbit. The mouse is blue. The mouse needs the rabbit. The mouse visits the rabbit. The rabbit visits the lion. If the lion is green then the lion is red. If someone sees the rabbit then the rabbit is kind.
The lion is not kind.
@0: The lion is green.[(triple1)] The lion is nice.[(triple2)] The lion is red.[(triple3 OR ((triple1) -> rule1))] The lion needs the mouse.[(triple4)] The lion sees the mouse.[(triple5)] The lion sees the rabbit.[(triple6)] The lion visits the mouse.[(triple7)] The lion visits the rabbit.[(triple8)] The mouse is blue.[(triple9)] The mouse needs the rabbit.[(triple10)] The mouse visits the rabbit.[(triple11)] The rabbit visits the lion.[(triple12)] @1: The rabbit is kind.[(((triple6) -> rule2))]