The lion is big. The lion is not cold. The lion is green. The lion is kind. The lion needs the mouse. The lion sees the mouse. The lion visits the mouse. The mouse is not big. The mouse is blue. The mouse is cold. The mouse is green. The mouse is kind. The mouse needs the lion. The mouse sees the lion. The mouse visits the lion. If something sees the lion and the lion visits the mouse then it is cold.
The lion is not kind.
@0: The lion is big.[(triple1)] The lion is green.[(triple3)] The lion is kind.[(triple4)] The lion is not cold.[(triple2)] The lion needs the mouse.[(triple5)] The lion sees the mouse.[(triple6)] The lion visits the mouse.[(triple7)] The mouse is blue.[(triple9)] The mouse is cold.[(triple10 OR ((triple14 triple7) -> rule1))] The mouse is green.[(triple11)] The mouse is kind.[(triple12)] The mouse is not big.[(triple8)] The mouse needs the lion.[(triple13)] The mouse sees the lion.[(triple14)] The mouse visits the lion.[(triple15)]