The rabbit is green. The rabbit is not round. The rabbit does not like the tiger. The tiger eats the rabbit. The tiger is big. The tiger is blue. The tiger is cold. The tiger is round. The tiger likes the rabbit. The tiger needs the rabbit. If someone is big then they like the tiger. If someone likes the rabbit then they eat the tiger.
The rabbit is not round.
@0: The rabbit does not like the tiger.[(triple3)] The rabbit is green.[(triple1)] The rabbit is not round.[(triple2)] The tiger eats the rabbit.[(triple4)] The tiger is big.[(triple5)] The tiger is blue.[(triple6)] The tiger is cold.[(triple7)] The tiger is round.[(triple8)] The tiger likes the rabbit.[(triple9)] The tiger needs the rabbit.[(triple10)] @1: The tiger eats the tiger.[(((triple9) -> rule2))] The tiger likes the tiger.[(((triple5) -> rule1))]