The cat eats the rabbit. The cat is big. The cat is round. The rabbit eats the tiger. The rabbit is green. The rabbit is red. The rabbit needs the tiger. The rabbit visits the tiger. The tiger does not eat the cat. The tiger is round. If the cat is green and the cat is round then the cat does not need the rabbit. If the cat needs the rabbit then the cat does not visit the tiger. If someone visits the rabbit then they visit the cat. If someone is green then they visit the cat. If someone needs the rabbit and they eat the rabbit then the rabbit needs the tiger. If someone eats the cat then the cat eats the tiger. If someone visits the cat and they visit the rabbit then they eat the rabbit. If someone visits the cat then they visit the rabbit.
The tiger does not visit the cat.
@0: The cat eats the rabbit.[(triple1)] The cat is big.[(triple2)] The cat is round.[(triple3)] The rabbit eats the tiger.[(triple4)] The rabbit is green.[(triple5)] The rabbit is red.[(triple6)] The rabbit needs the tiger.[(triple7)] The rabbit visits the tiger.[(triple8)] The tiger does not eat the cat.[(triple9)] The tiger is round.[(triple10)] @1: The rabbit visits the cat.[(((triple5) -> rule4))] @2: The rabbit visits the rabbit.[(((((triple5) -> rule4)) -> rule8))] @3: The rabbit eats the rabbit.[(((((triple5) -> rule4) ((((triple5) -> rule4)) -> rule8)) -> rule7))]