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