The cat chases the lion. The cat chases the rabbit. The cat likes the lion. The cat likes the rabbit. The cat sees the rabbit. The lion chases the cat. The lion chases the rabbit. The lion is cold. The lion is kind. The lion likes the cat. The lion sees the cat. The rabbit chases the lion. If the rabbit sees the cat then the cat sees the rabbit. If something likes the cat and the cat chases the rabbit then the cat sees the rabbit.
The lion does not chase the rabbit.
@0: The cat chases the lion.[(triple1)] The cat chases the rabbit.[(triple2)] The cat likes the lion.[(triple3)] The cat likes the rabbit.[(triple4)] The cat sees the rabbit.[(triple5 OR ((triple10 triple2) -> rule2))] The lion chases the cat.[(triple6)] The lion chases the rabbit.[(triple7)] The lion is cold.[(triple8)] The lion is kind.[(triple9)] The lion likes the cat.[(triple10)] The lion sees the cat.[(triple11)] The rabbit chases the lion.[(triple12)]