The cat eats the tiger. The cat is big. The cat is green. The cat is red. The cat is rough. The cat is round. The cat needs the tiger. The cat visits the tiger. The tiger does not eat the cat. The tiger is big. The tiger is green. The tiger is red. The tiger is round. The tiger needs the cat. The tiger visits the cat. If someone needs the cat then they eat the tiger. If someone visits the tiger and the tiger is rough then they eat the tiger. If someone eats the tiger then the tiger needs the cat. If the tiger needs the cat then the tiger visits the cat. If someone needs the tiger and the tiger eats the cat then the tiger is round. If someone eats the cat and the cat needs the tiger then the cat eats the tiger.
The cat does not need the tiger.
@0: The cat eats the tiger.[(triple1)] The cat is big.[(triple2)] The cat is green.[(triple3)] The cat is red.[(triple4)] The cat is rough.[(triple5)] The cat is round.[(triple6)] The cat needs the tiger.[(triple7)] The cat visits the tiger.[(triple8)] The tiger does not eat the cat.[(triple9)] The tiger is big.[(triple10)] The tiger is green.[(triple11)] The tiger is red.[(triple12)] The tiger is round.[(triple13)] The tiger needs the cat.[(triple14 OR ((triple1) -> rule3))] The tiger visits the cat.[(triple15 OR ((triple14) -> rule4) OR ((((triple1) -> rule3)) -> rule4))] @1: The tiger eats the tiger.[(((triple14) -> rule1) OR ((((triple1) -> rule3)) -> rule1))]