The cat chases the lion. The cat is green. The cat likes the lion. The cat does not see the lion. The cat sees the mouse. The lion chases the mouse. The lion likes the cat. The mouse chases the cat. The mouse is not red. The mouse likes the cat. The mouse likes the lion. The mouse sees the lion. If something chases the lion then it likes the lion. If something chases the cat then the cat chases the mouse. If something chases the lion and it sees the lion then it does not chase the mouse.
The lion likes the cat.
@0: The cat chases the lion.[(triple1)] The cat does not see the lion.[(triple4)] The cat is green.[(triple2)] The cat likes the lion.[(triple3 OR ((triple1) -> rule1))] The cat sees the mouse.[(triple5)] The lion chases the mouse.[(triple6)] The lion likes the cat.[(triple7)] The mouse chases the cat.[(triple8)] The mouse is not red.[(triple9)] The mouse likes the cat.[(triple10)] The mouse likes the lion.[(triple11)] The mouse sees the lion.[(triple12)] @1: The cat chases the mouse.[(((triple8) -> rule2))]