The rabbit sees the tiger. The rabbit visits the tiger. The tiger is kind. If someone eats the rabbit and they are green then they eat the tiger. If someone sees the rabbit and the rabbit eats the tiger then the tiger is young. If someone visits the tiger then they eat the rabbit. If someone visits the rabbit and the rabbit visits the tiger then the rabbit is rough. If someone visits the tiger then they are young. If the rabbit is rough then the rabbit sees the tiger. If someone visits the tiger then the tiger eats the rabbit. If the tiger eats the rabbit then the tiger visits the rabbit.
The rabbit is green.
@0: The rabbit sees the tiger.[(triple1 OR ((((((((triple2) -> rule7)) -> rule8) triple2) -> rule4)) -> rule6))] The rabbit visits the tiger.[(triple2)] The tiger is kind.[(triple3)] @1: The rabbit eats the rabbit.[(((triple2) -> rule3))] The rabbit is young.[(((triple2) -> rule5))] The tiger eats the rabbit.[(((triple2) -> rule7))] @2: The tiger visits the rabbit.[(((((triple2) -> rule7)) -> rule8))] @3: The rabbit is rough.[(((((((triple2) -> rule7)) -> rule8) triple2) -> rule4))]