The bear is green. The bear likes the tiger. The rabbit chases the tiger. The rabbit is green. The rabbit is rough. The rabbit needs the squirrel. The squirrel likes the tiger. The squirrel needs the rabbit. The tiger likes the squirrel. The tiger needs the bear. The tiger needs the rabbit. If something needs the bear and the bear needs the squirrel then the squirrel is kind. All kind things are rough. If something is green then it likes the bear. Nice things are kind. If something likes the squirrel and it likes the bear then it is nice. If something likes the bear and it likes the tiger then the bear needs the squirrel. If something is rough and it likes the tiger then the tiger likes the bear.
The bear likes the bear.
@0: The bear is green.[(triple1)] The bear likes the tiger.[(triple2)] The rabbit chases the tiger.[(triple3)] The rabbit is green.[(triple4)] The rabbit is rough.[(triple5)] The rabbit needs the squirrel.[(triple6)] The squirrel likes the tiger.[(triple7)] The squirrel needs the rabbit.[(triple8)] The tiger likes the squirrel.[(triple9)] The tiger needs the bear.[(triple10)] The tiger needs the rabbit.[(triple11)] @1: The bear likes the bear.[(((triple1) -> rule3))] The rabbit likes the bear.[(((triple4) -> rule3))] @2: The bear needs the squirrel.[(((((triple1) -> rule3) triple2) -> rule6))] @3: The squirrel is kind.[(((triple10 ((((triple1) -> rule3) triple2) -> rule6)) -> rule1))] @4: The squirrel is rough.[(((((triple10 ((((triple1) -> rule3) triple2) -> rule6)) -> rule1)) -> rule2))] @5: The tiger likes the bear.[(((((((triple10 ((((triple1) -> rule3) triple2) -> rule6)) -> rule1)) -> rule2) triple7) -> rule7))] @6: The tiger is nice.[(((triple9 ((((((triple10 ((((triple1) -> rule3) triple2) -> rule6)) -> rule1)) -> rule2) triple7) -> rule7)) -> rule5))] @7: The tiger is kind.[(((((triple9 ((((((triple10 ((((triple1) -> rule3) triple2) -> rule6)) -> rule1)) -> rule2) triple7) -> rule7)) -> rule5)) -> rule4))] @8: The tiger is rough.[(((((((triple9 ((((((triple10 ((((triple1) -> rule3) triple2) -> rule6)) -> rule1)) -> rule2) triple7) -> rule7)) -> rule5)) -> rule4)) -> rule2))]