The bear chases the rabbit. The bear eats the lion. The bear is big. The bear is red. The bear sees the lion. The lion does not chase the rabbit. The lion is round. The mouse chases the bear. The mouse eats the lion. The mouse is red. The mouse sees the rabbit. The rabbit chases the lion. The rabbit does not eat the lion. The rabbit is rough. The rabbit sees the bear. The rabbit sees the mouse. If someone sees the bear and they are red then the bear sees the mouse. If someone sees the rabbit and the rabbit eats the bear then the bear is nice. If someone chases the bear and the bear is red then they do not see the lion. If someone eats the mouse then they see the lion. If someone sees the rabbit and they do not chase the lion then they do not see the mouse. If the lion does not eat the mouse then the lion does not see the bear. If someone sees the rabbit then the rabbit eats the mouse. If the rabbit is rough then the rabbit does not chase the mouse.
The bear does not see the bear.
@0: The bear chases the rabbit.[(triple1)] The bear eats the lion.[(triple2)] The bear is big.[(triple3)] The bear is red.[(triple4)] The bear sees the lion.[(triple5)] The lion does not chase the rabbit.[(triple6)] The lion is round.[(triple7)] The mouse chases the bear.[(triple8)] The mouse eats the lion.[(triple9)] The mouse is red.[(triple10)] The mouse sees the rabbit.[(triple11)] The rabbit chases the lion.[(triple12)] The rabbit does not eat the lion.[(triple13)] The rabbit is rough.[(triple14)] The rabbit sees the bear.[(triple15)] The rabbit sees the mouse.[(triple16)] @1: The mouse does not see the lion.[(((triple8 triple4) -> rule3))] The rabbit does not chase the mouse.[(((triple14) -> rule8))] The rabbit eats the mouse.[(((triple11) -> rule7))] @2: The rabbit sees the lion.[(((((triple11) -> rule7)) -> rule4))]