The lion is kind. The lion is round. The lion likes the mouse. The lion needs the mouse. The lion sees the mouse. The mouse is blue. The mouse is rough. The mouse is not round. The mouse needs the lion. The mouse sees the lion. If something is kind then it likes the mouse.
The mouse is not round.
@0: The lion is kind.[(triple1)] The lion is round.[(triple2)] The lion likes the mouse.[(triple3 OR ((triple1) -> rule1))] The lion needs the mouse.[(triple4)] The lion sees the mouse.[(triple5)] The mouse is blue.[(triple6)] The mouse is not round.[(triple8)] The mouse is rough.[(triple7)] The mouse needs the lion.[(triple9)] The mouse sees the lion.[(triple10)]