The cat chases the rabbit. The cat chases the tiger. The cat does not see the rabbit. The cat sees the tiger. The cat visits the rabbit. The rabbit is rough. The rabbit sees the cat. The tiger chases the rabbit. The tiger sees the rabbit. The tiger visits the rabbit. If the tiger chases the cat and the tiger is nice then the cat sees the rabbit. If someone sees the cat then they visit the cat. If someone is rough and they chase the rabbit then they see the tiger.
The tiger does not see the rabbit.
@0: The cat chases the rabbit.[(triple1)] The cat chases the tiger.[(triple2)] The cat does not see the rabbit.[(triple3)] The cat sees the tiger.[(triple4)] The cat visits the rabbit.[(triple5)] The rabbit is rough.[(triple6)] The rabbit sees the cat.[(triple7)] The tiger chases the rabbit.[(triple8)] The tiger sees the rabbit.[(triple9)] The tiger visits the rabbit.[(triple10)] @1: The rabbit visits the cat.[(((triple7) -> rule2))]