The lion chases the mouse. The lion eats the mouse. The lion is big. The lion is blue. The lion is rough. The lion is young. The lion sees the mouse. The mouse chases the lion. The mouse eats the lion. The mouse is big. The mouse is blue. The mouse is green. The mouse is rough. The mouse is young. The mouse sees the lion. If someone is big and they eat the mouse then the mouse is blue. If someone sees the lion then they eat the mouse. If someone chases the mouse then the mouse is young.
The lion is green.
@0: The lion chases the mouse.[(triple1)] The lion eats the mouse.[(triple2)] The lion is big.[(triple3)] The lion is blue.[(triple4)] The lion is rough.[(triple5)] The lion is young.[(triple6)] The lion sees the mouse.[(triple7)] The mouse chases the lion.[(triple8)] The mouse eats the lion.[(triple9)] The mouse is big.[(triple10)] The mouse is blue.[(triple11 OR ((triple3 triple2) -> rule1) OR ((triple10 ((triple15) -> rule2)) -> rule1))] The mouse is green.[(triple12)] The mouse is rough.[(triple13)] The mouse is young.[(triple14 OR ((triple1) -> rule3))] The mouse sees the lion.[(triple15)] @1: The mouse eats the mouse.[(((triple15) -> rule2))]