The rabbit eats the tiger. The rabbit is blue. The tiger visits the rabbit. All green, big things are blue. If something needs the rabbit and it visits the rabbit then it is not blue. If the rabbit is blue then the rabbit eats the tiger. If something is blue and green then it visits the tiger. If the tiger eats the rabbit and the rabbit does not need the tiger then the rabbit is big. If something eats the rabbit then the rabbit is not green.
The rabbit eats the tiger.
@0: The rabbit eats the tiger.[(triple1 OR ((triple2) -> rule3))] The rabbit is blue.[(triple2)] The tiger visits the rabbit.[(triple3)]