The lion eats the rabbit. The lion is blue. The lion is red. The lion sees the mouse. The lion sees the rabbit. The lion visits the mouse. The mouse eats the lion. The mouse is red. The mouse is rough. The mouse visits the rabbit. The rabbit eats the lion. The rabbit eats the mouse. The rabbit is blue. The rabbit is rough. The rabbit sees the mouse. The rabbit visits the lion. If someone eats the rabbit then the rabbit eats the mouse. If someone eats the rabbit then the rabbit eats the lion. If someone eats the mouse then the mouse visits the rabbit. If someone visits the lion and the lion eats the rabbit then they visit the rabbit. Rough, red people are cold. If the lion eats the mouse then the lion sees the mouse.
The mouse sees the mouse.
@0: The lion eats the rabbit.[(triple1)] The lion is blue.[(triple2)] The lion is red.[(triple3)] The lion sees the mouse.[(triple4)] The lion sees the rabbit.[(triple5)] The lion visits the mouse.[(triple6)] The mouse eats the lion.[(triple7)] The mouse is red.[(triple8)] The mouse is rough.[(triple9)] The mouse visits the rabbit.[(triple10 OR ((triple12) -> rule3) OR ((((triple1) -> rule1)) -> rule3))] The rabbit eats the lion.[(triple11 OR ((triple1) -> rule2))] The rabbit eats the mouse.[(triple12 OR ((triple1) -> rule1))] The rabbit is blue.[(triple13)] The rabbit is rough.[(triple14)] The rabbit sees the mouse.[(triple15)] The rabbit visits the lion.[(triple16)] @1: The mouse is cold.[(((triple9 triple8) -> rule5))] The rabbit visits the rabbit.[(((triple16 triple1) -> rule4))]