The cat likes the lion. The cat likes the mouse. The cat sees the lion. The cat sees the mouse. The lion is round. The lion likes the cat. The lion sees the cat. The mouse chases the cat. The mouse chases the lion. The mouse likes the lion. If the lion chases the mouse then the lion likes the mouse. If something sees the cat and the cat chases the lion then the cat is nice. If something is round then it chases the mouse. If something sees the lion then it likes the lion. If the mouse is nice then the mouse likes the cat. If something chases the mouse then the mouse sees the lion.
The mouse does not like the cat.
@0: The cat likes the lion.[(triple1 OR ((triple3) -> rule4))] The cat likes the mouse.[(triple2)] The cat sees the lion.[(triple3)] The cat sees the mouse.[(triple4)] The lion is round.[(triple5)] The lion likes the cat.[(triple6)] The lion sees the cat.[(triple7)] The mouse chases the cat.[(triple8)] The mouse chases the lion.[(triple9)] The mouse likes the lion.[(triple10 OR ((((((triple5) -> rule3)) -> rule6)) -> rule4))] @1: The lion chases the mouse.[(((triple5) -> rule3))] @2: The lion likes the mouse.[(((((triple5) -> rule3)) -> rule1))] The mouse sees the lion.[(((((triple5) -> rule3)) -> rule6))]