The bear eats the rabbit. The bear eats the tiger. The bear is blue. The bear is not cold. The bear sees the rabbit. The bear does not see the tiger. The bear visits the rabbit. The bear visits the tiger. The rabbit eats the bear. The rabbit eats the tiger. The rabbit is cold. The rabbit is kind. The rabbit is not nice. The rabbit visits the tiger. The tiger sees the bear. The tiger visits the rabbit. If something is young and it does not eat the tiger then it is not blue. If the rabbit is kind then the rabbit is blue.
The tiger eats the rabbit.
@0: The bear does not see the tiger.[(triple6)] The bear eats the rabbit.[(triple1)] The bear eats the tiger.[(triple2)] The bear is blue.[(triple3)] The bear is not cold.[(triple4)] The bear sees the rabbit.[(triple5)] The bear visits the rabbit.[(triple7)] The bear visits the tiger.[(triple8)] The rabbit eats the bear.[(triple9)] The rabbit eats the tiger.[(triple10)] The rabbit is cold.[(triple11)] The rabbit is kind.[(triple12)] The rabbit is not nice.[(triple13)] The rabbit visits the tiger.[(triple14)] The tiger sees the bear.[(triple15)] The tiger visits the rabbit.[(triple16)] @1: The rabbit is blue.[(((triple12) -> rule2))]