The cat chases the mouse. The cat chases the rabbit. The cat is kind. The cat visits the rabbit. The mouse needs the rabbit. The rabbit chases the cat. The rabbit is red. If something chases the cat and the cat is nice then it is kind. If something chases the mouse then it is kind.
The cat does not chase the mouse.
@0: The cat chases the mouse.[(triple1)] The cat chases the rabbit.[(triple2)] The cat is kind.[(triple3 OR ((triple1) -> rule2))] The cat visits the rabbit.[(triple4)] The mouse needs the rabbit.[(triple5)] The rabbit chases the cat.[(triple6)] The rabbit is red.[(triple7)]