The bear is blue. The bear likes the rabbit. The lion is big. The mouse sees the bear. The mouse sees the rabbit. The rabbit is nice. The rabbit likes the mouse. The rabbit needs the lion. The rabbit needs the mouse. The rabbit sees the mouse. If someone sees the mouse then the mouse is kind. If the rabbit needs the lion and the lion sees the rabbit then the rabbit needs the bear. If someone likes the rabbit and the rabbit is big then the rabbit sees the mouse. If someone sees the mouse then the mouse is kind. If someone is nice then they are blue. If someone sees the bear and they are nice then the bear needs the lion.
The mouse needs the rabbit.
@0: The bear is blue.[(triple1)] The bear likes the rabbit.[(triple2)] The lion is big.[(triple3)] The mouse sees the bear.[(triple4)] The mouse sees the rabbit.[(triple5)] The rabbit is nice.[(triple6)] The rabbit likes the mouse.[(triple7)] The rabbit needs the lion.[(triple8)] The rabbit needs the mouse.[(triple9)] The rabbit sees the mouse.[(triple10)] @1: The mouse is kind.[(((triple10) -> rule1) OR ((triple10) -> rule4))] The rabbit is blue.[(((triple6) -> rule5))]