The bear is cold. The bear is red. The bear likes the mouse. The bear likes the rabbit. The bear sees the mouse. The bear sees the rabbit. The mouse is cold. The mouse needs the bear. The rabbit is blue. The rabbit is cold. The rabbit likes the bear. The rabbit likes the mouse. The rabbit needs the bear. The rabbit needs the mouse. The rabbit sees the bear. The rabbit sees the mouse. If something sees the rabbit then the rabbit needs the bear. If something needs the rabbit and it is red then it is young. If something is cold and it likes the bear then the bear needs the rabbit.
The bear is young.
@0: The bear is cold.[(triple1)] The bear is red.[(triple2)] The bear likes the mouse.[(triple3)] The bear likes the rabbit.[(triple4)] The bear sees the mouse.[(triple5)] The bear sees the rabbit.[(triple6)] The mouse is cold.[(triple7)] The mouse needs the bear.[(triple8)] The rabbit is blue.[(triple9)] The rabbit is cold.[(triple10)] The rabbit likes the bear.[(triple11)] The rabbit likes the mouse.[(triple12)] The rabbit needs the bear.[(triple13 OR ((triple6) -> rule1))] The rabbit needs the mouse.[(triple14)] The rabbit sees the bear.[(triple15)] The rabbit sees the mouse.[(triple16)] @1: The bear needs the rabbit.[(((triple10 triple11) -> rule3))] @2: The bear is young.[(((((triple10 triple11) -> rule3) triple2) -> rule2))]