The lion chases the rabbit. The lion eats the mouse. The lion eats the rabbit. The lion is red. The lion sees the mouse. The lion sees the rabbit. The mouse chases the rabbit. The mouse eats the lion. The mouse is young. The mouse sees the lion. The rabbit chases the mouse. The rabbit eats the lion. The rabbit eats the mouse. The rabbit is big. The rabbit is red. The rabbit sees the lion. If someone sees the rabbit then they chase the lion. If someone chases the mouse and the mouse sees the rabbit then the rabbit eats the mouse. If someone chases the mouse and they eat the lion then they eat the rabbit. Nice people are big. If someone is big then they chase the mouse. If someone sees the mouse then they are nice.
The rabbit does not eat the rabbit.
@0: The lion chases the rabbit.[(triple1)] The lion eats the mouse.[(triple2)] The lion eats the rabbit.[(triple3)] The lion is red.[(triple4)] The lion sees the mouse.[(triple5)] The lion sees the rabbit.[(triple6)] The mouse chases the rabbit.[(triple7)] The mouse eats the lion.[(triple8)] The mouse is young.[(triple9)] The mouse sees the lion.[(triple10)] The rabbit chases the mouse.[(triple11 OR ((triple14) -> rule5))] The rabbit eats the lion.[(triple12)] The rabbit eats the mouse.[(triple13)] The rabbit is big.[(triple14)] The rabbit is red.[(triple15)] The rabbit sees the lion.[(triple16)] @1: The lion chases the lion.[(((triple6) -> rule1))] The lion is nice.[(((triple5) -> rule6))] The rabbit eats the rabbit.[(((triple11 triple12) -> rule3) OR ((((triple14) -> rule5) triple12) -> rule3))] @2: The lion is big.[(((((triple5) -> rule6)) -> rule4))] @3: The lion chases the mouse.[(((((((triple5) -> rule6)) -> rule4)) -> rule5))]