The rabbit eats the tiger. The rabbit is big. The rabbit is kind. The rabbit is nice. The rabbit is rough. The rabbit needs the tiger. The rabbit visits the tiger. The tiger eats the rabbit. The tiger is kind. The tiger is red. The tiger needs the rabbit. The tiger visits the rabbit. If someone visits the tiger then they need the rabbit. If someone needs the tiger and they eat the tiger then they visit the tiger.
The tiger eats the rabbit.
@0: The rabbit eats the tiger.[(triple1)] The rabbit is big.[(triple2)] The rabbit is kind.[(triple3)] The rabbit is nice.[(triple4)] The rabbit is rough.[(triple5)] The rabbit needs the tiger.[(triple6)] The rabbit visits the tiger.[(triple7 OR ((triple6 triple1) -> rule2))] The tiger eats the rabbit.[(triple8)] The tiger is kind.[(triple9)] The tiger is red.[(triple10)] The tiger needs the rabbit.[(triple11)] The tiger visits the rabbit.[(triple12)] @1: The rabbit needs the rabbit.[(((triple7) -> rule1) OR ((((triple6 triple1) -> rule2)) -> rule1))]