The lion chases the mouse. The lion is not big. The lion is blue. The lion is nice. The lion is rough. The lion is round. The lion likes the mouse. The lion sees the mouse. The mouse chases the lion. The mouse is big. The mouse is blue. The mouse is nice. The mouse is rough. The mouse is round. The mouse likes the lion. The mouse sees the lion. If something chases the mouse then it is rough.
The lion is not blue.
@0: The lion chases the mouse.[(triple1)] The lion is blue.[(triple3)] The lion is nice.[(triple4)] The lion is not big.[(triple2)] The lion is rough.[(triple5 OR ((triple1) -> rule1))] The lion is round.[(triple6)] The lion likes the mouse.[(triple7)] The lion sees the mouse.[(triple8)] The mouse chases the lion.[(triple9)] The mouse is big.[(triple10)] The mouse is blue.[(triple11)] The mouse is nice.[(triple12)] The mouse is rough.[(triple13)] The mouse is round.[(triple14)] The mouse likes the lion.[(triple15)] The mouse sees the lion.[(triple16)]