The rabbit is cold. The rabbit is kind. The rabbit is nice. The rabbit is round. The rabbit is young. The rabbit needs the tiger. The rabbit sees the tiger. The rabbit visits the tiger. The tiger is cold. The tiger is kind. The tiger is nice. The tiger is round. The tiger is young. The tiger needs the rabbit. The tiger sees the rabbit. The tiger visits the rabbit. If someone needs the tiger then they visit the tiger. If someone sees the rabbit then the rabbit needs the tiger. If someone needs the rabbit then they need the tiger.
The rabbit sees the rabbit.
@0: The rabbit is cold.[(triple1)] The rabbit is kind.[(triple2)] The rabbit is nice.[(triple3)] The rabbit is round.[(triple4)] The rabbit is young.[(triple5)] The rabbit needs the tiger.[(triple6 OR ((triple15) -> rule2))] The rabbit sees the tiger.[(triple7)] The rabbit visits the tiger.[(triple8 OR ((triple6) -> rule1) OR ((((triple15) -> rule2)) -> rule1))] The tiger is cold.[(triple9)] The tiger is kind.[(triple10)] The tiger is nice.[(triple11)] The tiger is round.[(triple12)] The tiger is young.[(triple13)] The tiger needs the rabbit.[(triple14)] The tiger sees the rabbit.[(triple15)] The tiger visits the rabbit.[(triple16)] @1: The tiger needs the tiger.[(((triple14) -> rule3))] @2: The tiger visits the tiger.[(((((triple14) -> rule3)) -> rule1))]