The cat chases the lion. The cat chases the mouse. The cat is not nice. The lion chases the cat. The lion chases the mouse. The lion is red. The lion sees the cat. The lion visits the cat. The mouse chases the cat. The mouse is not round. The mouse does not visit the cat. The mouse visits the lion. If the cat is round and the cat does not visit the lion then the cat sees the mouse. If something chases the lion then it chases the mouse. If something chases the mouse then the mouse chases the lion.
The lion chases the cat.
@0: The cat chases the lion.[(triple1)] The cat chases the mouse.[(triple2 OR ((triple1) -> rule2))] The cat is not nice.[(triple3)] The lion chases the cat.[(triple4)] The lion chases the mouse.[(triple5)] The lion is red.[(triple6)] The lion sees the cat.[(triple7)] The lion visits the cat.[(triple8)] The mouse chases the cat.[(triple9)] The mouse does not visit the cat.[(triple11)] The mouse is not round.[(triple10)] The mouse visits the lion.[(triple12)] @1: The mouse chases the lion.[(((triple2) -> rule3) OR ((triple5) -> rule3) OR ((((triple1) -> rule2)) -> rule3))] @2: The mouse chases the mouse.[(((((triple2) -> rule3)) -> rule2) OR ((((triple5) -> rule3)) -> rule2) OR ((((((triple1) -> rule2)) -> rule3)) -> rule2))]