The bear eats the tiger. The bear is blue. The bear likes the rabbit. The rabbit eats the bear. The rabbit is cold. The tiger eats the bear. The tiger eats the rabbit. The tiger is big. The tiger is cold. The tiger likes the rabbit. If something eats the tiger and it is big then it eats the rabbit. If something likes the tiger then the tiger eats the rabbit. If something likes the rabbit and the rabbit needs the tiger then it needs the rabbit. If something eats the tiger and the tiger eats the rabbit then it likes the bear. If something needs the tiger then it eats the tiger. All round things are blue. If something is round then it needs the rabbit. If something needs the bear and the bear eats the tiger then it eats the bear.
The rabbit is round.
@0: The bear eats the tiger.[(triple1)] The bear is blue.[(triple2)] The bear likes the rabbit.[(triple3)] The rabbit eats the bear.[(triple4)] The rabbit is cold.[(triple5)] The tiger eats the bear.[(triple6)] The tiger eats the rabbit.[(triple7)] The tiger is big.[(triple8)] The tiger is cold.[(triple9)] The tiger likes the rabbit.[(triple10)] @1: The bear likes the bear.[(((triple1 triple7) -> rule4))]