The cat eats the rabbit. The cat is blue. The cat is round. The cat sees the tiger. The cat visits the rabbit. The cat visits the tiger. The rabbit eats the tiger. The rabbit is not rough. The rabbit is not round. The rabbit visits the tiger. The tiger eats the rabbit. The tiger sees the cat. If someone eats the tiger then they see the tiger.
The tiger does not see the tiger.
@0: The cat eats the rabbit.[(triple1)] The cat is blue.[(triple2)] The cat is round.[(triple3)] The cat sees the tiger.[(triple4)] The cat visits the rabbit.[(triple5)] The cat visits the tiger.[(triple6)] The rabbit eats the tiger.[(triple7)] The rabbit is not rough.[(triple8)] The rabbit is not round.[(triple9)] The rabbit visits the tiger.[(triple10)] The tiger eats the rabbit.[(triple11)] The tiger sees the cat.[(triple12)] @1: The rabbit sees the tiger.[(((triple7) -> rule1))]