The bear eats the mouse. The bear needs the rabbit. The bear needs the tiger. The mouse eats the bear. The mouse is green. The mouse is kind. The mouse is round. The mouse needs the tiger. The rabbit chases the tiger. The rabbit eats the mouse. The rabbit is blue. The rabbit is kind. The rabbit is round. The rabbit needs the bear. The rabbit needs the tiger. The tiger eats the mouse. If something chases the bear then it eats the rabbit. All blue things are green. If something is round and it needs the rabbit then the rabbit is green. If something is kind and it eats the bear then it eats the rabbit. If something chases the bear and it is kind then the bear is blue. If something is blue and green then it chases the bear.
The bear is green.
@0: The bear eats the mouse.[(triple1)] The bear needs the rabbit.[(triple2)] The bear needs the tiger.[(triple3)] The mouse eats the bear.[(triple4)] The mouse is green.[(triple5)] The mouse is kind.[(triple6)] The mouse is round.[(triple7)] The mouse needs the tiger.[(triple8)] The rabbit chases the tiger.[(triple9)] The rabbit eats the mouse.[(triple10)] The rabbit is blue.[(triple11)] The rabbit is kind.[(triple12)] The rabbit is round.[(triple13)] The rabbit needs the bear.[(triple14)] The rabbit needs the tiger.[(triple15)] The tiger eats the mouse.[(triple16)] @1: The mouse eats the rabbit.[(((triple6 triple4) -> rule4))] The rabbit is green.[(((triple11) -> rule2))] @2: The rabbit chases the bear.[(((triple11 ((triple11) -> rule2)) -> rule6))] @3: The bear is blue.[(((((triple11 ((triple11) -> rule2)) -> rule6) triple12) -> rule5))] The rabbit eats the rabbit.[(((((triple11 ((triple11) -> rule2)) -> rule6)) -> rule1))] @4: The bear is green.[(((((((triple11 ((triple11) -> rule2)) -> rule6) triple12) -> rule5)) -> rule2))] @5: The bear chases the bear.[(((((((triple11 ((triple11) -> rule2)) -> rule6) triple12) -> rule5) ((((((triple11 ((triple11) -> rule2)) -> rule6) triple12) -> rule5)) -> rule2)) -> rule6))] @6: The bear eats the rabbit.[(((((((((triple11 ((triple11) -> rule2)) -> rule6) triple12) -> rule5) ((((((triple11 ((triple11) -> rule2)) -> rule6) triple12) -> rule5)) -> rule2)) -> rule6)) -> rule1))]