The lion chases the mouse. The lion is blue. The lion is cold. The lion is green. The lion is kind. The lion is young. The lion likes the mouse. The lion sees the mouse. The mouse chases the lion. The mouse is blue. The mouse is cold. The mouse is green. The mouse is kind. The mouse is young. The mouse likes the lion. The mouse sees the lion. If the lion sees the mouse then the mouse chases the lion. If something is kind and it likes the mouse then it sees the lion. If something sees the mouse then it is cold. If something is kind then it likes the lion. If the mouse chases the lion and the lion chases the mouse then the mouse likes the lion. If something is blue then it likes the lion. If something chases the lion then it sees the mouse. If something likes the mouse and it chases the lion then it likes the lion.
The lion is blue.
@0: The lion chases the mouse.[(triple1)] The lion is blue.[(triple2)] The lion is cold.[(triple3 OR ((triple8) -> rule3))] The lion is green.[(triple4)] The lion is kind.[(triple5)] The lion is young.[(triple6)] The lion likes the mouse.[(triple7)] The lion sees the mouse.[(triple8)] The mouse chases the lion.[(triple9 OR ((triple8) -> rule1))] The mouse is blue.[(triple10)] The mouse is cold.[(triple11 OR ((((triple9) -> rule7)) -> rule3) OR ((((((triple8) -> rule1)) -> rule7)) -> rule3))] The mouse is green.[(triple12)] The mouse is kind.[(triple13)] The mouse is young.[(triple14)] The mouse likes the lion.[(triple15 OR ((triple10) -> rule6) OR ((triple13) -> rule4) OR ((triple9 triple1) -> rule5) OR ((((triple8) -> rule1) triple1) -> rule5))] The mouse sees the lion.[(triple16)] @1: The lion likes the lion.[(((triple2) -> rule6) OR ((triple5) -> rule4))] The lion sees the lion.[(((triple5 triple7) -> rule2))] The mouse sees the mouse.[(((triple9) -> rule7) OR ((((triple8) -> rule1)) -> rule7))]