The lion chases the mouse. The lion is big. The lion is blue. The lion is kind. The lion is rough. The lion is round. The lion likes the mouse. The lion needs the mouse. The mouse chases the lion. The mouse is big. The mouse is blue. The mouse is kind. The mouse is rough. The mouse is round. The mouse likes the lion. The mouse needs the lion. If the mouse needs the lion then the lion likes the mouse. All round people are kind.
The mouse needs the mouse.
@0: The lion chases the mouse.[(triple1)] The lion is big.[(triple2)] The lion is blue.[(triple3)] The lion is kind.[(triple4 OR ((triple6) -> rule2))] The lion is rough.[(triple5)] The lion is round.[(triple6)] The lion likes the mouse.[(triple7 OR ((triple16) -> rule1))] The lion needs the mouse.[(triple8)] The mouse chases the lion.[(triple9)] The mouse is big.[(triple10)] The mouse is blue.[(triple11)] The mouse is kind.[(triple12 OR ((triple14) -> rule2))] The mouse is rough.[(triple13)] The mouse is round.[(triple14)] The mouse likes the lion.[(triple15)] The mouse needs the lion.[(triple16)]